Can internal alternate angles by two lines and secant be vertical angles?