»Per definition av delbarhet gäller att a - b = sn och c - d = tn för två heltal s och t. Därför gäller att (a + c) - (b + d) = (a - b) + (c - d) = (s + t)n, d.v.s. n | (a + c) - (b + d). Vi får också att ac -bd = ac - ad + ad - bd = a(c - d) + d(a - b) = atn + dsn = (at + ds)n, d.v.s. n | ac - bd. Saken är klar.«