x=su+tv 가 R^3 상의 부분공간이라는게 정리 1.5인건가요?