Toida's conjecture (source code)

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