theorem :: XPRIMES2:2234

canceled;