Title: Schützenberger’s theorem on formal power series follows from Kleene’s theorem
Abstract: 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.