この式を証明するために俺は存在する