Quote:
Originally Posted by tetramur
William Bouris claimed in his mad proofs, that:
"if p= 4*k+1, and q= 2*p+3 are both prime, then if [(M_r)^pp] mod q == N, and q mod N == +/1, then (M_r), the base, is prime. also, if (M_r) mod p = 1, then choose a different 'p' or if N is a square, then (M_r) is prime."
The source site has been broken about four months ago. How could this claim be proven/disproven?

Easy  disproven.
Counterexample:
Take r = 1279 (prime), p = 557, q = 1117.
((M_1279)^557557) mod 1117 = 713
1117 mod 713 = 404, not +/1
713 is not square
M_1279 mod 557 = 269