theorem :: XPRIMES2:2332

canceled;