ステートメントと証明.