NewProof generates a proof that: - n = pq - p and q are odd primes - p, q == 3 (mod n) With: - W s.t.