pigor: ... np. tak ; przedłuż sobie BE do przecięcia się z CD w punkcie F,
to |∡EFC|=γ jako katy naprzemianległe wewnętrzne, zatem
β=y+α − z tw. o kącie zewnętrznym ΔCFE, c.n.u. .
lub inaczej
|∡CEF|=180
o−β − jako kąty przyległe, zatem z tw. o sumie miar kątów Δ,
tu ΔCFE masz: α+γ+180
o−β= 180
o /+β−180
o ⇔
α+γ= β c.n.u. . ...