Suppose one were writing a book aimed at high-school students (and their teachers), where "high-school" in the US means grades 9,10,11,12 (where college/university starts at 13). The book is not a textbook, but rather "math enrichment." The book attempts to expose such students to proofs, and to ...