abstract: The hypernatural numbers of nonstandard analysis can be used as representatives of ultrafilters on N. We give a characterisation of idempotent ultrafilters in nonstandard terms, and use it to show that suitable linear combinations of any given idempotent yield a proof of Rado's theorem.