Theorems
Zeckendorf theorem
Fibonacci substitution
A transcendental number
The numbers of primary and secondary spirals in the positions of leaves
Hirmer's conjecture