theorem :: XPRIMES1:1317

canceled;