Learning Path for Reduction Example

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

Substitute Two Variables Theorem
Associative Property of Multiplication 2
Transitive Property Application 1
Swap Terms 2 and 3
Reorder Terms 7
Transitive Property Application 4
Move Terms 2 and 4 Theorem
Transitive Property of Equality Variation 2
Inverse Product Theorem
Multiplicative Identity 3
Reduction Example
Start Path