Lemma p0not16 : 0 <> 16.
