“mathematical proof” in Turkish