theorem :: XPRIMES0:1367

canceled;