theorem :: XPRIMES1:5460

canceled;