証明終了

しょめい・しゅりょうshōmei·shūryō5

N.
Math., Logik Beweisende n n.