Learning Path for Reorder Terms 4

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

Transitive Property of Equality Variation 1
Add Associative 2
Transitive Property of Equality Variation 2
Rearrange Sum
Subtract Both Sides
Add Term to Both Sides 6
Reorder Terms 4
Start Path