> Napisane przeze mnie twierdzenie to opis grupy twierdzeń.
> Dla liczby 5 połowa jest większa od pierwiastka.
> Dla liczby 6 połowa jest większa...
> Dla liczby 7....
> ...

Chyba nie wiesz co mowisz.
Jest taki kwantyfikator
"dla kazdego"
czyli dla kazdej liczby naturalnej : ....twierdzenie


To jest jedno twierdzenie a nie zadna grupa.
Marsz do podstawowki.