theorem :: XPRIMES2:6830

canceled;