Now let us consider an approximate form of PP 1 (W ′ ) in Theorem 3.
for further discussion, we define the last part ofPP 1 (W ′ ) as follows: Since W ′ = δW holds for an appropriate ratio δ, we have when W is sufficiently large, we can use δ holds for any ratio δ : 0 < δ < 1.