theorem :: XPRIMES2:6392

canceled;