  We prove that the linear instability in a non-degenerate higher derivative
theory, the Ostrogradski instability, can only be removed by the addition of
constraints if the original theory's phase space is reduced.
