demostraciones de propiedades