신고 대상: 임의의 벡터 공간은 기저를 갖는다 (r1)

신고 사유