theorem Th34: :: ABCMIZ_1:34

for x being variable holds
( <*x*> is quasi-loci iff vars x = {} )