>>393
とりあえず、一次独立の定義を書いてみ