theorem Th6: :: BINARI_3:6

for n being non zero Nat
for F being Tuple of n, BOOLEAN st F = 0* n holds
Absval F = 0