theorem :: XPRIMES2:5317

canceled;