バグがないと証明できると考えてるレベルのお花畑。