multi-variate polynomial ring 재귀적으로 정의하는게 신선하게 다가왔음. 


얼핏 생각해보면 당연한건데, 단 한번도 그런 시점으로 생각해본적 없어서..