理论上讲，当草坪草达到适宜修剪高度的（ ）倍时，就必须修剪。