theorem :: ABCMIZ_1:33

for l being quasi-loci holds varcl (rng l) = rng l