>>808
rankの定義からすると、rankf ≦dim V
だから、rankf < dim Vと仮定して背理法など