自由な証明じゆうなしょうめい<じ'ゆう>　な　しょう'めい

Rechtsw.Freibeweisgenkaku na shōmei厳格な証明