h가 단사함수이다는 조건을
a = f(a_1, ..., a_n) iff h(a) = f(h(a_1), ..., h(a_n))
으로 바꿔도 됨?
될 거 같은데 증명 좀 ㅇㅅㅇ

- dc official App