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