Dini's theorem (source code)

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