theorem :: XPRIMES2:810

canceled;