some minor edits -- proof still to be completed