[Solar-general] el software libre y las demostraciones matemáticas