theorem :: XPRIMES2:2650

canceled;