>>985
証明だと思ってる式の形...ってどのことですか。