theorem :: XPRIMES2:2333

canceled;