Fermat numbers: Difference between revisions