Initial simple Proth test