I had meant to say that this would be a great docstring for the `check_fermat` function