Learning Path for Double to Half

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

Multiplicative Identity 2

Commutative Property Variation 1

Term 2 Substitution

Distributive Property Variation 4

Multiplicative Property of Equality Variation 1

Addition Theorem

Transitive Property of Equality Variation 2

Associative Property of Multiplication 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