if the following are true:

• x = (a ⋅ a) + (b ⋅ b)
• m = a
• n = b

then x = (n ⋅ n) + (m ⋅ m)

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