theorem :: XPRIMES2:1332

canceled;