theorem :: XPRIMES2:4008

canceled;