Learning Path for Simplify 3

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

Distributive Property Variation 2

Commutative Property Variation 1

Term 2 Substitution

Term 1 Substitution

Distributive Property Variation 3

Multiplicative Property of Equality Variation 1

Associative Property of Multiplication 2

Transitive Property of Equality Variation 2

Transitive Property Application 2

Swap 2 and 3 Theorem

Transitive Property of Equality Variation 1

Divide Both Sides

Multiplicative Property of Equality Variation 2

Transitive Property of Equality Variation 3

Division is Commutative

Associative Property

Substitution 12

Divide Simplify 2