冬庭の石の配置の定理かな