theorem Th32: :: ABCMIZ_1:32

for p, q being FinSequence st p ^ q is quasi-loci holds
( p is quasi-loci & q is FinSequence of Vars )