Треугольники ЕDС и АВС равнобедренные.
∠ЕСD = ∠АСВ (вертикальные углы равны)
Пусть ∠ЕСD = ∠АСВ = х, тогда:
∠ЕDС = (180-х)/2
∠ВАС = (180-х)/2
Следовательно, ∠ЕDС = ∠ВАС
Углы ∠ЕDС и ∠ВАС - это накрест лежащие углы, из их равенства следует, что s||t, что и требовалось доказать.