Entonces, trivialmente,