>>417
x(1)=x(2)であることが証明されてない