theorem Th6: :: BSPACE:6

1. Z_2 = 1 by INT_3:14;