Learning Path for Reorder Terms 2 and 4

The following is a list of all proofs that are used to prove either Reorder Terms 2 and 4 or its ancestor proofs.

Substitute Two Variables Theorem
Associative Property of Multiplication 2
Transitive Property of Equality Variation 2
Transitive Property Application 2
Swap 2 and 3 Theorem
Transitive Property Application 1
Transitive Property Application 4
Reorder Terms 2 and 4
Start Path