theorem :: XPRIMES2:2319

canceled;