Axiom g0 : forall m : nat, g 0 m = m.Axiom g1 : forall n m : nat, n > 0 -> m > 100 -> g n m = g (pred n) (m - 10).Axiom g2 : forall n m : nat, n > 0 -> m <= 100 -> g n m = g (S n) (m + 11).

Lemma Resg0 : g 1 110 = 100.