theorem :: XPRIMES2:1290

canceled;