mathematical subtext, which presents an application or an illustration of the subject or of the theorem