Learning Path for Rearrange Sum

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

Transitive Property of Equality Variation 1
Add Associative 2
Transitive Property of Equality Variation 2
Rearrange Sum
Start Path