Na kružnici je zapisano $n \ge 2$ prirodnih brojeva $a_1, a_2, \dots a_n$ takvih da vrijedi $gcd(a_1, a_2, \dots, a_n) = 1$. Dozvoljena operacija je dodati nekom broju najveći zajednički djelitelj njegovih susjeda. Dokažite da je moguće u konačno mnogo operacija postići da su svi brojevi na kružnici u parovima relativno prosti.