Nikiel's conjecture (source code)

= Nikiel's conjecture
{wiki=Nikiel's_conjecture}