Learning Path for Square Root Example 2

The following is a list of all proofs that are used to prove either Square Root Example 2 or its ancestor proofs.

Multiplicative Property of Equality Variation 1
Associative Property of Multiplication 2
Transitive Property of Equality Variation 2
Transitive Property Application 2
Swap 2 and 3 Theorem
Shuffle Example
Substitution 12
Substitution 15
Substitution 16
Swap Terms 2 and 3
Multiplicative Property of Equality Variation 2
Transitive Property of Equality Variation 1
Square Product Example
Square Root Example
Square Root Example 2
Start Path