theorem :: XPRIMES2:860

canceled;