çift sayılar toplamının ispatı