theorem :: XPRIMES2:2487

canceled;