Büchi's problem (source code)

= Büchi's problem
{wiki=Büchi's_problem}