theorem :: XPRIMES2:2297

canceled;