定理を証明する

ていりをしょうめいするteiri o shōmei suru

einen Lehrsatz beweisen.