I would like to know if a discontinuous local martingale with paths of finite variations almost surely is a martingale. I feel that it should be the case but can't find a straightforward argument.
As noted by Did in its comments below, the continuous case follows easily from the widely known fact that continuous local martingales have paths of almost surely infinite variations. So I modified the question to make it more specifically about discontinuous local martingales.
Best regards.