theorem :: XPRIMES2:392

canceled;