theorem Th29: :: ABCMIZ_1:29

<*> Vars in QuasiLoci