theorem :: BINARI_4:26

for m being Nat holds 2sComplement (m,0) = 0* m