theorem Th29: :: ABCMIZ_1:29
<*> Vars in QuasiLoci