Birkhoff's variety theorem