Queda garantizado que los formula_37 son tales que la adyacencia siempre funciona en ambos sentidos, esto es, si formula_42, entonces formula_43.