Preuve de la correctitude de l'inférence de kind