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 Application 1

Swap Terms 2 and 3

Reorder Terms 7

Transitive Property of Equality Variation 2

Reorder Terms 8

Inverse Example