theorem :: XPRIMES0:1321

canceled;