A FUNCTIONAL VERSION OF THE BIRKHOFF