I think this is a much clearer expression of the claim than the commonly given one.