theorem Th31: :: ABCMIZ_A:31

for X being finite Subset of Vars ex l being quasi-loci st rng l = varcl X