Added the theorem packages