n, m∈N、E_n=n^2-n+41、素数全体の集合をPとする。 E_n∉P⇒ sqrt(n-41)∈N∨n ≡ 0 (mod 41)∨n ≡ m(m-1)/2 (mod 41) である。という予想
https://scratch.mit.edu/projects/886925702
