∀x in R^n에 대해, <x, y>=0인 y in H ⊂ R^n인 H에 대해 dim(H)=n-1임이 항상 성립하는 걸 보이는건데, 이건 그냥 자명하다고 해야하나요? n차원 공간에서 특정한 하나의 좌표축과 수직인 축은 n-1개이니 당연 그럴거 같긴한데, 증명이 따로 있을까요