| Z | ≥ 0 | Z | = 0 ⇔ Z = 0

1. | z | ≥ 0 | z | = 0 ⇔ z = 0