Learning Path for Algebra Square Sum

The following is a list of all proofs that are used to prove either Algebra Square Sum or its ancestor proofs.

Substitute Two Variables Theorem
Substitution 2
Substitution 7
Substitution 3
Algebra Square Sum
Start Path