reserve n, k, r, m, i, j for Nat;

theorem Th33:
  tau > 0
proof
  sqrt 5 > 0 by SQUARE_1:25;
  hence thesis by FIB_NUM:def 1;
end;
