Solution by Pavel Jurca