La demostración emplea el teorema de compacidad para lenguajes de primer orden.