Reference here the comment below in a comment, so that it is clear why this should be true.