Types and Applications of Mathematical Theorems