>>89
＞V_α=V_β∪{x,y}
　
とさだめたときV_αの任意の異なる４元a,b,c,dでa-b=c-dを満たすものがないことの
保証がよくわからないんだけど。