gauss toplamını ispatı