\( rac-\sqrt5+1-\sqrt5-1 = rac\sqrt5-1\sqrt5+1 = rac(\sqrt5-1)^25 - 1 = rac6 - 2\sqrt54 \), but we earlier derived it correctly as \( rac3 - \sqrt52 \), so it checks. - Portal da Acústica