This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2025.2.7) 8 JAN 2026 13:32 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **lectureslides/intro-induction/induction-simple.html (./lectureslides/intro-induction/induction-simple.html LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.1 < !doctype html> You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 1--6 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.7 < title>MATH2340 Week 1 and 2 You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no M in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no W in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no > in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 7--8 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.9 < link rel="stylesheet" href="/dist/reset.css"> You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 9--12 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.13 < !-- Theme used for syntax highlighted code --> You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.17 --uswds-red-cool-40: # e16b80; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no e in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.18 --uswds-gold-40: # ad8b65; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.19 --uswds-green-cool-40: # 5e9f69; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 5 in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.20 --uswds-blue-cool-40: # 6499af; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 6 in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.21 --uswds-indigo-40: # 8889db; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 8 in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.22 --uswds-violet-warm-40: # bf77c8; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no b in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no 7 in font nullfont! Missing character: There is no 7 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no 4 in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no * in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no * in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.52 background-color: # fff; Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no > in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.61 # # Mathematical induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.61 ## Mathematical induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no M in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.63 # # Proof by induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.63 ## Proof by induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no U in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 13--65 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.66 < span style="font-size:70%">eg: For all $n\in\mathbb{N}$, t... You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 7 in font nullfont! Missing character: There is no 0 in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 66--67 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.68 C omprised of: You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no C in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no * in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 7 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no * in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 7 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no * in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.75 # # Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.75 ## Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no E in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.76 # ### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.76 ## ## Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.76 ### # Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.76 #### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 77. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 77. ! Undefined control sequence. l.77 For all $n\in\mathbb {N}$, $5^{2n}-1$ is a multiple of $3$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.78 # ### Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.78 ## ## Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.78 ### # Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.78 #### Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no B in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.82 # # Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.82 ## Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no E in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.83 # ### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.83 ## ## Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.83 ### # Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.83 #### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! ! Undefined control sequence. l.84 For all $n\in\mathbb {N}$, $5^{2n}-1$ is a multiple of $3$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.85 # ### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.85 ## ## Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.85 ### # Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.85 #### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 68--87 [] [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 68--87 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 68--87 \OML/cmm/m/it/10 N$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 3$ [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 68--87 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 68--87 \OML/cmm/m/it/10 N$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 68--87 \OT1/cmr/m/n/10 3$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.88 < span style="font-size:80%">Then $\exists c\in\mathbb{Z}:5^... You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 88--89 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.90 < span style="font-size:80%">Therefore, $5^{2(n+1)}-1 = 25 (... You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no 8 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.93 # # Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.93 ## Example 2 of induction Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no E in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.94 # ### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.94 ## ## Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.94 ### # Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.94 #### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! ! Undefined control sequence. l.95 For all $n\in\mathbb {N}$, $5^{2n}-1$ is a multiple of $3$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.96 # ### Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.96 ## ## Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.96 ### # Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.96 #### Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no C in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.97 ...iple of $3$ is true for every $n\in\mathbb N$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.100 # # Anatomy of an inductive proof: eg. 2 Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.100 ## Anatomy of an inductive proof: eg. 2 Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no 2 in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.101 # ### Theorem in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.101 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.101 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.101 ...t-index="3">of form $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.101 ...ex="3">of form $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.101 ...>of form $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! ! Undefined control sequence. l.102 For all $n\in\mathbb {N}$, in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.103 # ### Proof: Base case in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.103 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.103 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.105 # ### Proof: Inductive step in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.105 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.105 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.105 ...-fragment-index="3">of form $Q(n)\implies Q(n+1)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.106 ...se that, for some particular $n\in\mathbb {N}$, in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 90--107 [] [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 N$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3$ [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 N$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.00232pt too wide) in paragraph at lines 90--107 \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (30.81067pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 N$$Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 N$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (20.68336pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (1)$ [] Overfull \hbox (27.50009pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (7.7778pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 = [] Overfull \hbox (17.77783pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 25 \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (15.55553pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1 = [] Overfull \hbox (20.55554pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 24 = [] Overfull \hbox (12.77782pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3 \OMS/cmsy/m/n/10 ^^B [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 8$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (21.6857pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )$ [] Overfull \hbox (47.2603pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n\OT1/cmr/m/n/10 )\OML/cmm/ m/it/10 Q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n \OT1/cmr/m/n/10 + [] Overfull \hbox (8.88892pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1)$ [] Overfull \hbox (15.44675pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 n \OMS/cmsy/m/n/10 2 [] Overfull \hbox (9.12497pt too wide) in paragraph at lines 90--107 \OML/cmm/m/it/10 N$ [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 1$ [] Overfull \hbox (5.00002pt too wide) in paragraph at lines 90--107 \OT1/cmr/m/n/10 3$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.108 T hen $\exists c\in\mathbb{Z}:5^{2n}-1 = 3c$. You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. l.108 Then $\exists c\in\mathbb {Z}:5^{2n}-1 = 3c$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 108--109 [] [] Overfull \hbox (19.32753pt too wide) in paragraph at lines 108--109 \OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 c \OMS/cmsy/m/n/10 2 [] Overfull \hbox (13.09717pt too wide) in paragraph at lines 108--109 \OML/cmm/m/it/10 Z \OT1/cmr/m/n/10 : [] Overfull \hbox (22.20728pt too wide) in paragraph at lines 108--109 \OT1/cmr/m/n/10 5[] \OMS/cmsy/m/n/10 ^^@ [] Overfull \hbox (15.55553pt too wide) in paragraph at lines 108--109 \OT1/cmr/m/n/10 1 = [] Overfull \hbox (9.32758pt too wide) in paragraph at lines 108--109 \OT1/cmr/m/n/10 3\OML/cmm/m/it/10 c$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.110 T herefore, to proceed. If that doesn't work, type X to quit. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.111 # ### Proof: Conclusion in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.111 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.111 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! ! Undefined control sequence. l.111 ...ence, by induction, $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.111 ... by induction, $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.111 ...duction, $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.112 ...$3$ is true for every $n\in\mathbb N$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.115 # # Anatomy of an inductive proof: eg. 1 Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.115 ## Anatomy of an inductive proof: eg. 1 Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no 1 in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.116 # ### Theorem in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.116 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.116 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.116 ...t-index="3">of form $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.116 ...ex="3">of form $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.116 ...>of form $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! ! Undefined control sequence. l.117 For all $n\in\mathbb {N}$, in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.118 # ### Proof: Base case in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.118 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.118 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.120 # ### Proof: Inductive step in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.120 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.120 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.120 ...-fragment-index="3">of form $Q(n)\implies Q(n+1)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! ! Undefined control sequence. l.121 ...dex="1">$5^n=10a+5$ for some $a\in\mathbb {Z}$, then in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no . in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.122 # ### Proof: Conclusion in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.122 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.122 ...gment daz-switch preload" style="color: # 191919" data-fragment-inde... Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! ! Undefined control sequence. l.122 ...ence, by induction, $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.122 ... by induction, $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.122 ...duction, $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.123 ...$5$ is true for every $n\in\mathbb N$. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.126 # # Anatomy of an inductive proof: demonstration Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.126 ## Anatomy of an inductive proof: demonstration Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.127 I need 5 volunteers! Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no d in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.128 # ### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.128 ## ## Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.128 ### # Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.128 #### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.129 of form $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.129 ... of form $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.129 ... of form $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.130 # ### Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.130 ## ## Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.130 ### # Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.130 #### Proof: Base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no B in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.132 # ### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.132 ## ## Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.132 ### # Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.132 #### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.133 of form $Q(n)\implies Q(n+1)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. ! You can't use `macro parameter character #' in horizontal mode. l.134 # ### Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.134 ## ## Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.134 ### # Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.134 #### Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no C in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no H in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! ! Undefined control sequence. l.135 ...ence, by induction, $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.135 ... by induction, $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.135 ...duction, $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.138 # # Anatomy of an inductive proof: demonstration Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.138 ## Anatomy of an inductive proof: demonstration Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no : in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.139 I need 5 volunteers! Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no d in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no " in font nullfont! Missing character: There is no > in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ! in font nullfont! Missing character: There is no < in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no > in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.140 # ### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.140 ## ## Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.140 ### # Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.140 #### Theorem Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.141 of form $\forall n \in\mathbb N$,  $Q(n)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Misplaced alignment tab character &. l.141 ... of form $\forall n \in\mathbb N$,& nbsp; $Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! Misplaced alignment tab character &. l.141 ... of form $\forall n \in\mathbb N$, & nbsp;$Q(n)$ I can't figure out why you would want to use a tab mark here. If you just want an ampersand, the remedy is simple: Just type `I\&' now. But if some right brace up above has ended a previous alignment prematurely, you're probably due for more error messages, and you might try typing `S' now just to see what is salvageable. Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ; in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.142 # ### Proof: Different base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.142 ## ## Proof: Different base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.142 ### # Proof: Different base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.142 #### Proof: Different base case Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! You can't use `macro parameter character #' in horizontal mode. l.144 # ### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.144 ## ## Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.144 ### # Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.144 #### Proof: Inductive step Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! ! Undefined control sequence. l.145 of form $Q(n)\implies Q(n+1)$ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. ! You can't use `macro parameter character #' in horizontal mode. l.146 # ### Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.146 ## ## Proof: Conclusion Sorry, but I'm not programmed to handle this case; I'll just pretend that you didn't ask for it. If you're in the wrong mode, you might be able to return to the right one by typing `I}' or `I$' or `I\par'. ! You can't use `macro parameter character #' in horizontal mode. l.146 ### # Proof: Conclusion (That makes 100 errors; please try again.) Here is how much of TeX's memory you used: 21 strings out of 474222 625 string characters out of 5748734 1927975 words of memory out of 5000000 22372 multiletter control sequences out of 15000+600000 558069 words of font info for 36 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 18i,2n,20p,577b,57s stack positions out of 10000i,1000n,20000p,200000b,200000s ! ==> Fatal error occurred, no output PDF file produced!