>>730
この証明はVが有限次元であることを仮定してないけど