theorem Th7: :: FINSUB_1:7
for A being non empty preBoolean set holds {} in A