check_Fermat theorem

screenshot-16