on Fermat numbers