Comment by fburnaby

I do not think this extra justification is necessary, but it is valid.