Iki çift sayının toplamının çift olduğunu dolaylı ve olmayan ergi ispat yöntemleriyle açıklar mısınız ?