Schützenberger’s theorem on formal power series follows from Kleene’s theorem

We derive Schützenberger’s characterisation of the set of recognizable formal power series as a formal corollary from Kleene’s characterisation of the set of regular languages.