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).

(* Specifications: *)
Lemma Resg0 : g 1 110 = 100.
Lemma Resg1 : g 1 95 = 91.