Kẻ $Bz//Ax$, ta có:
$\widehat{ABz}=180^o-\widehat{BAx}=180^o-150^o=30^o$
$\widehat{zBC}=75^o-30^o=45^o$
Có $\widehat{zBC}$ và $\widehat{BCy}$ là hai góc trong cùng phía bù nhau
(Vì $135^o+45^o=180^o$)
$→ Bz//Cy$
Mà $Bz//Ax$, theo tính chất bắc cầu suy ra:
$Ax//Cy$