It follows from the classic theorem of Crofton expressing the length of a plane curve as an expectation of the number of intersections with a random line.
Rezultă din teorema clasică a lui Crofton care exprimă lungimea curbei unui plan ca o așteptarea din numărul de intersecții cu o aleator linie.