Generalization of Butterfly's Theorem

Remark

Assuming $a=b,\,$ the main result becomes $(a+z)(y+x)=(b+y)(z+x)\,$ which reduces to $(a-x)(y-z)=0,\,$ and, since $a\ne x,\,$ $y=z,\,$ proving the Butterfly theorem.