theorem :: XPRIMES2:879

canceled;