replaced with the pdf file: Butterfly theorem