Closure Property for Addition of Integers