Plot point F where angle alpha is located.
Triangle ABF has two interior angles x and 80. They add to the exterior angle alpha due to the remote interior angle theorem.
alpha = x+80
