Αν
είναι ένα σημειοσύνολο του επιπέδου, τέτοιο ώστε η οποιαδήποτε οριζόντια ευθεία να έχει με αυτό πεπερασμένο πλήθος κοινών σημείων, να αποδειχθεί ότι υπάρχει κατακόρυφη ευθεία της οποίας τα κοινά σημεία με το συμπληρωματικό του συνιστούν σύνολο, του οποίου ο πληθάριθμος ισούται με αυτόν του συνεχούς.
με 
δουλεύει.