Continuous finite-variation local martingale is constant (source code)

= Continuous finite-variation local martingale is constant

A continuous <local martingale> with <finite variation> is almost surely constant. After localization, its <quadratic variation> is both zero, because it has finite variation, and the quantity controlling its $L^2$ increments, because it is a martingale.