State/Inequality in N corresponds to existence of differences

 =Proof=