Prove Closure Property Of Addition