したがって n−1 以下のレベルで救える家は 1 から n−1 までの和以下である。これらのレベルの格子点を直接数えると n(n−1)/2+c(n−c+1) 軒で、残りのレベルには n の平方からこれを引いた軒数がある。