= 0 ⇐⇒