Added new theorem.
Added Complex type, minor edits to theorems.