correctness proof - Türkisch Englisch Wörterbuch