>>559
証明以前の定義