theorem :: XPRIMES2:2396

canceled;