Theorem

Let $M$ be a continuous local martingale. Let $X$ be a continuous adapted process (i.e. predictable). Then the Itô Stochastic Integral process $$\left( \int\limits \mathbb{1}_{[0,t]}X \, dM \right)_{t\ge 0}$$is defined and is a continuous local martingale.