theorem :: XPRIMES1:1251

canceled;