Hindman and Rado's theorems