theorem :: XPRIMES2:6294

canceled;