16.5 Applying circle theorems