線形空間Vとその部分空間V’の商空間V/V’の次元が
dimV−dimV’になるのはなぜですか?