Learning Path for Square Product Theorem

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

Substitute Two Variables Theorem
Associative Property of Multiplication 2
Square Product Theorem
Start Path