Q: XとYはいつ同型か?

A: 常に同型である