عمر الخيام
The interesting bit is the second part (the first part had already been proved by Omar Khayyám in the 11th century), which can be restated as: