theorem :: XPRIMES2:2398

canceled;