h가 단사함수이다는 조건을 a = f(a_1, ..., a_n) iff h(a) = f(h(a_1), ..., h(a_n)) 으로 바꿔도 됨? 될 거 같은데 증명 좀 ㅇㅅㅇ - dc official App
동치가 아니구나 ㅈㅅ;; - dc App