no hair theorem