theorem :: XPRIMES2:1714

canceled;