added uniqueness theorems
removed temp file
merged