committing Fermat