Betti's theorem (source code)

= Betti's theorem
{wiki=Betti's_theorem}