theorem :: XPRIMES2:2480

canceled;