Complex: EuclidenRingはR: EuclidenRingであればなりたつ?