اثبات قانون المجموع لمتتالية حسابية زكرياء