"dedekind kesimi" için sonuçlar