>>898
もともとゼロだと半減の要件満たせない