Es fácil demostrar que formula_13 satisface las mismas propiedades que "D".