theorem Th8: :: FINSUB_1:8
for A being set holds bool A is preBoolean