y claramente ningún otro orden de reducción puede hacer la expresión más corta.