theorem Th15: :: BINARI_4:15

for z being Tuple of 1, BOOLEAN st z = <*TRUE*> holds
Intval z = - 1