theorem :: XPRIMES2:842

canceled;