theorem Th32: :: FINSEQ_6:32

for z being set holds
( <*z*> |-- z = {} & <*z*> -| z = {} )