If $x \in \mathbb{R}$ is a real number, then the multiplicative inverse $1 / x$ exists if and only if $x \neq 0$. Hence, this result is a direct consequence to R5507: Real square matrix invertible iff determinant is. $\square$