formulate a more advanced theorem - Türkisch Englisch Wörterbuch