9.11. Teoremas, demostraciones, etc.