Összegzési képletek bizonyítása