theorem :: XPRIMES1:2480

canceled;