((a ⋅ b) ⋅ 2) + (((a ⋅ a) + ((a ⋅ b) ⋅ (-2))) + (b ⋅ b)) = (a ⋅ a) + (b ⋅ b)

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