Donald Marolf - Group Averaging: A Uniqueness Theorem (Slide 7 of 15)