theorem :: XPRIMES2:1237

canceled;