User:MarkH21/Infobox mathematical statement