¿No tenemos por definición que
?
?