Could someone please check my work and let me know if I am correctly using all of the included theorems that are referenced in the proof

Please state all definitions and theorems that you will need: Theorem 5.1.13 Let f: D -+ R and g: D -+ R and let c be an accumulation pint of D . If lim f(a) = L , lim g(x) = M , and k E R , then lim (f + 9)(x) = L + M. lim (fg)(x) = LM . and lim (kf)(x) = KL . Furthermore, if g(a) # 0 for all x E D and M # 0 , then lim () (2 ) = L Theorem 4.2.1 Suppose that (Sn) and (tn ) are convergent sequences with lim S, = s and lim t = t . Then (a) lim (sn + tn) = s + t (b) lim (ksn) = ks and lim (k + 8n) = k + s , for any k E R (c) lim (sn . tn) = st (d) lim Sn = , provided that tn # 0 for all n and t # 0 Theorem 5.2.2 Let f : D - R and let c E D . Then the following three conditions are equivalent. (a) f is continuous at c (b) If (In) is any sequence in D such that (In) converges to c , then lim f(x) = f(c) (c) For every neighborhood V of f(c) there exists a neighborhood U of c such that f(UnD) CV. Furthermore, if c is an accumulation point of D , then the above are all equivalent to (d) f has a limit at c and lim f(x) = f(c) . Theorem 5.3.6 (Intermediate Value Theorem) Suppose that f : [a, b] - R is continuous. Then f has the intermediate value property on [a, b] . That is, if k is any value between f(a) and f(b) [i.e., f(a) 0 f(1) = 21 - 3(1) = -1 E (0, 1)