theorem :: XPRIMES2:2392

canceled;