theorem Th8: :: FINSUB_1:8

for A being set holds bool A is preBoolean