diff --git a/EIPS/eip-2537.md b/EIPS/eip-2537.md
index d125827544046..894b39dccae25 100644
--- a/EIPS/eip-2537.md
+++ b/EIPS/eip-2537.md
@@ -333,6 +333,7 @@ Due to the large test parameters space, we first provide properties that various
 Required properties for basic ops (add/multiply):
 
 - Commutativity: `P + Q = Q + P`
+- Identity element: `P + 0 = P`
 - Additive negation: `P + (-P) = 0`
 - Doubling `P + P = 2*P`
 - Subgroup check: `group_order * P = 0`