>>382
xが0でない証明があればそれでいい