So while I'll concede (if more experienced mathematicians advise me) that my argument is not required, I'll continue to argue that it was in a fine location based on principles covered in the WP:MOS. I placed it there because of the section header – and when the article continues to be built, such section headers and the comprehensiveness they demand and they afford is of important consideration.