theorem :: XPRIMES2:2365

canceled;