if the following are true:

• a ⋅ a = (b ⋅ b) + (c ⋅ c)
• a = x
• b = y

then x ⋅ x = (y ⋅ y) + (c ⋅ c)

Start from the conclusion and work back up the proof. Click the arrow to show the parents.