Lines cutting a circle, and the product of two lengths that turns out not to depend on where they cross.