theorem Lemma1: :: PREFER_1:1

for A being set holds {} ,A, {} are_mutually_disjoint