Ostrogradsky's Theorem