Stellan began a proof.
JL=KM because segment JL≅ segment KM.
JK+KL=JL and KL+LM=KM, by the segment addition postulate.
KL+LM=JL, by substituting JL for KM.
What is a possible next step in Stellan's proof?
