reconsider c = c as Element of Constructors by Lem0;
loci_of c is quasi-loci ;
hence (c `2 ) `1 is quasi-loci ; :: thesis: verum