theorem :: XPRIMES2:6297

canceled;