You will find them here (about three quarters of the way down the page).
Then assume g(n) is ( then prove this implies that f(n) is O(g(n). This is the "if" part.
Together they prove that f(n) is O(g(n) if and only if g(n) is (
(Both of these are implicit in what we discussed in the earlier posts)