Learning Path for Inverse Example

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

Division Theorem

Substitute Two Variables Theorem

Associative Property of Multiplication 2

Transitive Property of Equality Variation 2

Transitive Property Application 2

Swap 2 and 3 Theorem

Reorder Terms 7

Reorder Terms 8

Inverse Example