theorem :: BSPACE:3

[#] Z_2 = {0,1} by CARD_1:50;