File:Birkhoff_representation_theorem.gif loading ...