>>10759121Consider the initial value problem . By the general theory of differential equations, the solution exists, is unique and its domain of definition is the entire real line. Let us denote this solution as . Note that is always non-0 as the differential equation is linear and as .
Now let be an arbitrary real number and let . So which implies . Equivalently, .
Define to be . It is then easy to see (using the property derived above) that for any rational number , and hence by continuity, .