Fig. 17. P' and Q' are the images of P and Q, respectively (top). An object ray that intersects both object points P and Q must produce an image ray that intersects P' and Q'. Extending the reasoning, every point on the object ray has an image somewhere on the image ray (bottom).