theorem :: XPRIMES1:1420

canceled;