(가)를 보이는건 저 두 곱집합이 isomorphic 함을 보이는거랑 같잖아? 그럼 일단 저 두 집합이 bijection을 관계로 가진단건데 그럴려면 V->W 인 함수가 bijection이여야 한다고 조건을 추가해야 할거같은데 내말이 맞음?