if not (x^m = 0), then x^{((-1) ⋅ m)} = 1 / (x^m)

Start from the conclusion and work back up the proof. Click the arrow to show the parents.