In this note the butterfly theorem is proved by preliminarily adding some auxiliary lines to its usual illustrative diagram.
Then Ceva’s theorem is used as a lemma within this extended graph, and the butterfly theorem itself follows from elementary geometry.