chapter
B.10 A Basic Gauss Theorem
Theorem B.14.
Pages 4

Proof: We substitute b := a + p in the right side of (B.45). Substitution of x := −Rp and y := 1 gives the left side of (B.31), so we can apply the quasi-symmetric Kummer formula. Eventually we apply (B.14) to the product.