If "C" has genus two or more, then the canonical class is big, so the image of any "n"-canonical map is a curve. The image of the 1-canonical map is called a canonical curve. A canonical curve of genus "g" always sits in a projective space of dimension "g" − 1. When "C" is a hyperelliptic curve, the canonical curve is a rational normal curve, and "C" a double cover of its canonical curve. For example if "P" is a polynomial of degree 6 (without repeated roots) then