Is 1 proth prime?