Part of 2013 Abels Math Contest (Norwegian MO) Final
Source: Norwegian Mathematical Olympiad 2013 - Abel Competition p1a