How do you prove that #(1/2)sqrt(2+sqrt(2+sqrt 2))=sqrt((1+sqrt((1+1/sqrt 2)/2)) /2)#?