theorem EltsOfINTGroup2: :: GROUP_24:78

for x being object holds
( x in INT.Group 2 iff ( x = 0 or x = 1 ) )