I didn't mean to offend anyone by calling this fact basic. It just seemed out of place. We have lots of mathematical facts in our library and very few (if any) others are explained. It is only in this context that I recommended removing it. Its isolated presence makes it stand out and gives me the impression that we think it is not well known. If you think readers of the source code will find it useful, then by all means lets leave it in.