sqrt 5 > 0 by SQUARE_1:25;
hence tau > 0 by FIB_NUM:def 1; :: thesis: verum