theorem :: XPRIMES1:5317

canceled;