Demostraciones (primeros dos ejercicios de demostraciones)