theorem :: XPRIMES1:1480

canceled;