Talk:Natural Logarithm Function is Differentiable

I am doubting as to whether there should be a page 'Natural Logarithm Function is Differentiable' instead, from which then this page concludes its continuity. 'Separation of results' house style seems to demand this. Continuity could also be a corollary. --Lord_Farin 03:14, 23 January 2012 (EST)
 * I'm tempted to agree. Also suggest we avoid the use of material that is marginally less relevant to the working of the actual proof, e.g. the last line before the QED. --prime mover 04:05, 23 January 2012 (EST)
 * Agreed to that point. It is in fact in line with the house style, which says '...a formal style is preferred.' GFP, anything to your defense? :) --Lord_Farin 05:24, 23 January 2012 (EST)
 * If I do not want my writing to be edited mercilessly, then I should not submit it here. :) Also, see me declaration of intent on my user page. My contributions are for the wiki, not for me. --GFauxPas 06:25, 23 January 2012 (EST)