Prove nov_greater_zero.
Formulate some nog properties.