Algunas formulaciones menos generales que se desprenden de la primera son las siguientes: