Este hecho ya está supuesto en la pregunta.