theorem :: XPRIMES2:2394

canceled;