Si formula_3 y formula_4 son órdenes totales, formula_5 también es un orden total.