theorem :: XPRIMES2:735

canceled;