theorem Th19: :: PCS_0:19

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