Several laws have been proved using induction without lemma-unsafe