Verifiquemos que formula_36 es un morfimo de funtores.