Yay, the LaTeX worked! <img src='http://www.cavestory.org/forums/public/style_emoticons/<#EMO_DIR#>/grin2.gif' class='bbc_emoticon' alt=':D' />
Anyways, we can now inductively prove that S is distributive over addition.
Suppose f, g, and h are functions over the real numbers where...