theorem :: XPRIMES2:650

canceled;