Added the mathematical theorems