Imported some properties from Data.Nat.Properties.Simple, instead of explicitely proving them