birkhoffs theorem