The Beacon Theorem

I have derived formal equations that explain the concept of the beacon construction. I want to inform the developers. Thanks in advance.

(Libo - Aloud)'s Important Beacon Formulas

b_l = (2h + L)(2h + W) [blocks²] where h ∈ ℕ₀, L ∈ ℕ, and W ∈ ℕ.

b = Σ_{h = 0}^{m} (2h + L)(2h + W) − β [blocks²] where m ∈ ℕ and β ∈ ℕ₀ | 0 ≤ β < A_s.

A_s is defined as the area of the maximum beacons or the area at layer zero which can be written as:

A_s = LW [blocks²].

The Equation of the Deducted Beacons:

β = A_s – n_b [beacons].

The Sum of Layers Excluding the Beacons:

σ_l = b – n_b [blocks²].