나는 생각도 못했는데 한대 얻어맞은듯한 정리같은거
나는 coset들이 equivalence class로 나눠지는게 참신했음