theorem :: XPRIMES1:5310

canceled;