Verificar una demostración puramente formal es simple, mientras que encontrar demostraciones es generalmente mucho más difícil.