X=Y=R だと直和を取れない理由がわかんない