Question 456964
Multiplicative inverse property for real numbers.