Wiemy, że:

 i  to kąty naprzemianległe. Zatem:

 i  to kąty wierzchołkowe. Zatem:

Na podstawie cechy przystawania trójkątów KBK wiemy, że