Small changes and removed proof general