Deuber's theorem states that, given any m, p, c, r in IN, there exist n, q, μ in IN such that, whenever an (n, q, cμ)-set is r-coloured, there is a monochrome (m, p, c)-set. This theorem has been used in conjunction with the algebraic structure of the Stone–Čech compactification βIN of IN to derive several strengthenings of itself. We present here an algebraic proof of the main results in βIN and derive Deuber's theorem as a consequence.