これは射影直線(projective line)の函数体でもある。