Is reason 9 correct?

1. 2. ∠b and ∠y are right angles. 3.? 4.? which two statements are missing in steps 3 and 4? ∠x ≅ ∠c △abc ~ △zyx by the sas similarity theorem. ∠b ≅ ∠y △abc ~ △zyx by the sas similarity theorem. = 2 △abc ~ △zyx by the sss similarity theorem. = 2 △abc ~ △zyx by the sss similarity theorem.