theorem :: XPRIMES2:6280

canceled;