Por la simetría de la situación, tenemos que formula_12 es, también,