theorem :: XPRIMES0:1231

canceled;