Create check_fermat