theorem :: BINARI_4:16

for z being Tuple of 1, BOOLEAN st z = <*FALSE*> holds
Intval z = 0