同値ではありませんでした
n/≡1 (mod 24)で成立する(証明済み) かつ (p≡1 (mod 24) かつ pが5以上の平方数でないときは解を持つ) ⇒ エルデス＝シュトラウス予想が真