Create checkfermat.py