theorem :: XPRIMES2:1420

canceled;