fact 6 : Nat