Inverse of Multiplicative Inverse/Proof 2