theorem :: XPRIMES2:704

canceled;