[일반] 선대 증명 질문

[익명(121.166)]

H/K 인데 저 증명에서 밑줄 친 only one이 앞의 내용에서 어케나오는거임?
선대군 r.r.e.f의 유일성 증명할때 보면 그걸 보이기 위해 귀납법쓰고 그랬던거같은데

[익명(203.229)]

로s랑 로's가 such that 이하 만족하는 서로 다른 두 백터라고 하면 로s-로's 는 0이아닌데 k_s번째 좌표는 1-1-0이고 i≠s 인 k_i번째 좌표는 다 0-0=0이니까 k_1,...,k_r 번째가 아닌 성분 중에서 0이 아닌게 있어야 되서 모순임