Lemma p8notZ : 8 <> 0.
