theorem :: XPRIMES1:1460

canceled;