Teorema de compacidad