0=0を証明してしまう