Learning Path for Distribute Subtract2

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

Distributive Property Variation 2
Equality Example
Distributive Property Variation 3
Associative Property of Multiplication 2
Transitive Property Application 1
Swap Terms 2 and 3
Subtraction Example
Distribute Subtract
Subtract From Both Sides
Substitute
Subtract Substitute
Substitute 11
Transitive Property of Equality Variation 2
Distribute Subtract2
Start Path