Como formula_2 es la codificación de "Diagonal", de lo anterior se sigue que "Diagonal" para ante sí misma como entrada si y solo si "Diagonal" no para ante sí misma como entrada.