Part of 2011 QEDMO 8th
Source: 8th QEDMO problem 3 (15. 1. 2011) https://artofproblemsolving.com/community/c1512515_qedmo_200507