theorem :: XPRIMES0:1289

canceled;