Dittert conjecture (source code)

= Dittert conjecture
{wiki=Dittert_conjecture}