if the y coordinate of point Z = b and the y coordinate of point Y = b and the y coordinate of point W = 0 and the y coordinate of point X = 0 and S is the midpoint of line WZ and T is the midpoint of line XY and not((the x coordinate of point T) - (the x coordinate of point S) = 0) and not((the x coordinate of point X) - (the x coordinate of point W) = 0), then ST || WX

Start from the conclusion and work back up the proof. Click the arrow to show the parents.