theorem :: XPRIMES2:8008

canceled;