Teorema de craig