theorem :: XPRIMES2:1233

canceled;