Puede demostrarse que se cumplen las siguientes implicaciones: