環として同型であることと、加群として同型であることは異なるので、多項式環と同型⇒次数無限大はどう考えても非自明