7.1 Proving addition formulae using a geometric construction: page 168, Example 1