for X being addLoopStr
for A, B being Subset of X st A is countable & B is countable holds
A + B is countable