Thus we can think R as a subset of C.-> RX{0} as a subset of C
C의 element를 orderd pair라 위에서 정의했으면서,,,

n-tuple 대신에 a list of length n을 쓰겠다고 하는데, 앞으로 재밌어질 듯