theorem-proving

[數] 定理證明