La preuve en est qu ’ il existe toute une série de formules mathématiques à cet effet : la formule sud-coréenne, la formule européenne ou, la plus connue, la formule suisse.
Jako dowód można przyjąć liczbę wzorów matematycznych, które stosowane są w tym celu: wzór południowokoreański, wzór europejski, no i oczywiście wzór szwajcarski.