theorem :: XPRIMES2:7233

canceled;