มีทฤษฎีบทอยู่อันนึงที่จะช่วยบอกว่า nested square roots
(square root ซ้อน square root)

sqrt(r + s*sqrt(t))

จะสามารถ simplify ให้อยู่ในรูปที่ไม่มี square root ซ้อน
กันได้รึเปล่า ทฤษฎีบทนี้กล่าวว่า sqrt(r + s*sqrt(t)) จะ
simplify ได้ก็ต่อเมื่อ r^2 - s^2*t เป็นกำลังสองสมบูรณ์
อย่างเช่นในกรณีข้างบน 7^2 - 4^2*3 = 1 จึงทำให้เรา
สามารถทำให้อยู่ในรูปที่ง่าย(และสวย)ขึ้นได้ แต่เราไม่สามารถ
simplify sqrt(2 + sqrt(11)) ต่อไปได้อีกแล้วเพราะ
2^2 - 11 = -7 ไม่เป็นกำลังสองสมบูรณ์

ปิดท้ายด้วยคำถามว่า เราสามารถ simplify sqrt(5 + sqrt(21))
ได้หรือไม่ ถ้าได้ รูปอย่างง่ายนั้นคืออะไร