theorem :: XPRIMES2:2403

canceled;