Is 1 fermat prime?