>>412
まずステートメントと証明にはっきりわけて