theorem :: XPRIMES2:1321

canceled;