Checking Fermat function