Es fácil verificar que formula_8 es un preorden total.