A line is a set of ordered pairs. A vertical line must consist of ordered pairs where the -coordinates are all equal. That particular vertical line which is descrbed by the set of all ordered pairs that have an -coordinate equal to is uniquely described by the equation because any ordered pair with an -coordinate of , regardless of the value of the -coordinate, will be an element of the solution set of the equation
John
My calculator said it, I believe it, that settles it