theorem :: XPRIMES2:6008

canceled;