Uitleg

Mooi hè, zo'n bewijs.
Q.e.d. staat voor "quod erad demonstrandum" (Latijn voor "wat te bewijzen was") en sluit traditiegetrouw een bewijs af.

Een paar opmerkingen nog:

• Het gegeven bewijs was een direct bewijs: uitgaande van de eigenschappen van een oneven getal heb je het vermoeden bewezen.
• Het vermoeden is nu een stelling geworden.
• Het is een stelling van de vorm "Als..., dan...".
  Je noemt dat een implicatie en je gebruikt er wel een kortere schrijfwijze voor:
  a is oneven  $\Rightarrow$ a² – 1 is deelbaar door 8.