A newer version of this fact exists. (view)