resolve ambiguity: fact(n -1) => fact(n - 1), not fact(n(-1))
resolve ambiguity: fact(n -1) => fact(n - 1), not fact(n(-1))