Text this: The division theorem for smooth functions