が実際に成立する(一般の場合にはdim "r" +1 ≤ dim "r"["x"] ≤ 2 dim "r" +1が成り立つことしか言えない)。