Pokaż, że w PA, a_p + a_q = a_m + a_n zawsze, gdy