>>205
1行目の成立ってのをkwsk
C言語において「真はzero以外である」ってのは定義なんじゃねーの?
証明したりする類のことじゃない気がするんだが