"v" ⊕ "w" の次元は "v" と "w" の次元の和に等しい。