for CLSP being proper CollSp
for P, Q being LINE of CLSP st P c= Q holds
P = Q