Tag: closure property of integers