선대군 11단원 공부하다 나온 내용인데

G, H는 군, H≤G을 때 e_H=e_G임을 설명하더라고요

그러면서 V, W가 vector sp이고 W≤V일 때 0_V=0_W는 확인하지 않아도 된다고 하는데 왜 그런 거임?

0_V=0_W인 이유를 생각하다 보면

자연스럽게 e_H=e_G를 증명하는 방식과 똑같은 생각을 하게 되고

이 증명이 굉장히 쉬워서 다른 방법은 안 떠오르는데..

이유 아시는 분?