خط $AB$ را امتداد دهید تا خطوط موازی را در نقاط $C$و $D$ قطع کند در اینصورت بنابر قضیه خطوط موازی $\hat C=\hat D$ .

از طرفی در چهارضلعی $BDEF$ مجموع دوزاویه خارجی برابر است با مجموع زوایای داخلی غیرمجاور یعنی
$$70+y=40+60\\ y=30$$
لذا بنابر زاویه خارجی بودن داریم:
$$x=50+y=50+30=80$$