FieldならEuclidenRingの実装が自明になる