No need to write out the s and whatnot, but I want a careful proof, with references to appropriate theorems and definitions.