fact: Fixpoint paux (m n p q: nat) (s: string) (l: list nat) {struct m}: string := let v := if (div p m) then s else ""%string in append v match m with O => ""%string | (S m1) => let (s1, l1) := print_line n q l in append s1 (String (Ascii.ascii_of_nat 10) (paux m1 n p q s l1)) end.
imports: List String