Part of 2010 QEDMO 7th
Source: 7th QEDMO problem 2 (14. - 17. 1. 2010) https://artofproblemsolving.com/community/c1512515_qedmo_200507