theorem :: XPRIMES2:4005

canceled;