theorem :: ABCMIZ_A:60

for l being empty quasi-loci holds {} is type-distribution of l