lean_workbook_plus_2037

Given two functions f and g, $f: \mathbb{R} \rightarrow \mathbb{R}$ and $g: \mathbb{R} \rightarrow \mathbb{R}$ , such that both f and g are decreasing functions. Proof that $g \circ f = g(f(x))$ also is a decreasing function.