example of fermat theorem