Update fermat.py