Added Fermat example