theorem Th24: :: BINARI_3:24

for n being non zero Nat
for z being Tuple of n, BOOLEAN st z = 0* n holds
('not' z) + (Bin1 n) = z