Nach Fakt ist (mit R = K [ Y ] {\displaystyle {}R=K[Y]} und A = R [ X ] / ( Y − P ( X ) ) {\displaystyle {}A=R[X]/(Y-P(X))} )
![{\displaystyle {}R=K[Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a48718ba322d69542980f57c7c0911227bafa4ef)
![{\displaystyle {}A=R[X]/(Y-P(X))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9df7bb4f21c753d8857cd712fbfe30802fa8912)
![{\displaystyle {}\Omega _{K[X]{|}K[Y]}=\Omega _{K[Y][X]/(Y-P(X)){|}K[Y]}=K[X]/d(Y-P(X))=K[X]/(P')\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35247fc4b6dd54b07c46752efa67b50dfd05a606)