theorem :: XPRIMES2:1310

canceled;