I unified the two theorems into a single theorem with the key statements.  This gives us more space and makes the theorem more substantial.