theorem :: XPRIMES2:1317

canceled;