for P, Q being pcs st P misses Q holds
the InternalRel of (pcs-sum (P,Q)) is transitive