Statements
Reasons

1. JP = KP; PX = PY

1. given

2. JP KP; PX PY

2. definition of

3. JPK JPK

3. ♣

4. PYJ PXK

4. ♦