A menudo se utiliza esta propiedad directamente en las demostraciones.