theorem :: XPRIMES2:6735

canceled;