Lemma p0not4 : 0 <> 4.
