lo cual puede ser demostrado por definición.