Se cumple que las siguientes proposiciones para formula_5 son todas equivalentes: