Dadas dos funciones formula_11 queremos: