theorem :: XPRIMES2:234

canceled;