added some reference, completed proof of weakly exhaustive set theorem