more changes to odd groups proof