for P, Q being pcs st P misses Q holds
pcs-sum (P,Q) is pcs-compatible