同じ論証をして、(a,(b,c)) | ((a,b),c) と ((a,b),c) | (a,(b,c)) から、にすれば?