Update and rename check_fermat to hw2.check_fermat