La prueba se puede esquematizar como sigue: