More on butterflies. The projective butterfly theorem immediately implies the classical
butterfly theorem as well as its generalization due to Klamkin [7]; see Figure 5.
This is the proof number ten (out of 20) on [3]. A similar proof is given in [9, Chapter
30].
a