theorem :: XPRIMES2:2290

canceled;