Talk:Stewart's_theorem loading ...