基礎数学の講義から(完)_定理の自動証明