Added some Theorem statements