Using CPCTC within a Proof

Given: XJ YK; XP YP; ZXJ ZYK

Prove: JY KX