realanal: prove algebraic continuity and limit theorems. define derivative, prove diff => cont
realanal: actually define the derivative