Theorems in dynamical systems