# = lim_ (h-> 0) ((x + h) ^ 2 + 9 (x + h) - 3 - (x ^ 2 + 9x - 3)) / h #
# = lim_ (h-> 0) (x ^ 2 + 2xh + h ^ 2 + 9x + 9h - 3 - x ^ 2 - 9x + 3) / h #
# = lim_ (h-> 0) (zrušiť (x ^ 2) + 2xh + h ^ 2 + zrušiť (9x) + 9h - zrušiť (3) - zrušiť (x ^ 2) - zrušiť (9x) + zrušiť (3)) / h #
# = lim_ (h-> 0) (2xh + h ^ 2 + 9h) / h #
# = lim_ (h-> 0) (h (2x + h + 9)) / h #
# = lim_ (h-> 0) (zrušiť (h) (2x + h + 9)) / zrušiť (h) #
# = lim_ (h-> 0) 2x + 0 + 9 #
= 2x + 9