theorem Th4: :: WSIERP_1:4

for k, m, n being Integer st k divides m & k divides n holds
k divides m + n