We present a proof of Helton’s sum-of-squares theorem based upon a theorem of Carathéodory and a Hahn–Banach separation argument.