Well put. A similar way to say it: ask the 9 year old to draw ALL of the possible lines connecting two points in the set — of course this is possible, just might take awhile. The theorem says that at least one of the lines drawn must hit ONLY the two points the 9 year old used when drawing that particular line, not any others.