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