Part of 2017 QEDMO 15th
Source: 15th -a QEDMO problem 1 (19. - 22. 10. 2017) https://artofproblemsolving.com/community/c1512515_qedmo_2005