eyeball theorem