This theorem is very common sense, I am not sure why I am taking notes on this.
Basically in a scenario where the statement:
f(x) g(x) h(x) is true and the
lim f(x) = L & lim h(x) = L x -> c x -> c
then lim g(x) = L x -> c
will also be true, which is common sense.