👤

closure property of addition