questo problema esemplifica una importante relazione ricorrente tra algoritmi e dimostrazioni:
 per trovare un algoritmo dovete dimostrare il teorema enunciato in hint1.txt.