\left( {\forall a \in R/\left\{ 0 \right\}} \right)\left( {\exists b \in R} \right)\left( {ab \equiv 1\left( {\bmod p} \right)} \right)