Sean a y b números naturales, entonces