Tiene un corolario, que es el que se suele usar en la práctica: