inserted some separating whitespace; simplified another one-step proof