This projection map is natural because it's a straight forward process of reducing elements modulo K, and is uniquely determined by the structure of the quotient ring R/K.
Is `pi` a one to one map defined by sending each element r in R to its corresponding coset r + K in R/K ?