theorem :: XPRIMES2:4006

canceled;