(sqrt (5) - 1)/(sqrt(10 + 2 sqrt(5))) == (sqrt(25 + 10 sqrt(5)))/(5)