theorem :: XPRIMES2:1251

canceled;