Question
Is `phi (x)` = x mod 5 well defined (hint: prove that `phi(x) = phi(y)`) ?
Close the window and click for the next page...
Close the window and try once more...