Pósa's theorem (source code)

= Pósa's theorem
{wiki=Pósa's_theorem}