theorem :: XPRIMES2:2262

canceled;