theorem :: XPRIMES2:1366

canceled;