Is 1 wilson prime?