>>83
ほらね字が読めない
命題も証明も既出