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.

Khan Academy Screenshot