theorem Th2: :: BINARI_3:2

for n being non zero Nat
for F1, F2 being Tuple of n, BOOLEAN st Absval F1 = Absval F2 holds
F1 = F2