theorem :: XPRIMES2:630

canceled;