formulate a more advanced theorem - German English Dictionary