Commits

Joseph Wright committed 584198e

Fix Euclid's proof :-) (Fixes issue #96)

Comments (0)

Files changed (2)

doc/beamerug-tutorial.tex

     \item<1-> Suppose $p$ were the largest prime number.
     \item<2-> Let $q$ be the product of the first $p$ numbers.
     \item<3-> Then $q + 1$ is not divisible by any of them.
-    \item<1-> Thus $q + 1$ is also prime and greater than $p$.\qedhere
+    \item<1-> But $q + 1$ is greater than $1$, thus divisible by some prime
+      number not in the first $p$ numbers.\qedhere
     \end{enumerate}
   \end{proof}
   \uncover<4->{The proof used \textit{reductio ad absurdum}.}

doc/beameruserguide.tex

     \item<1-| alert@1> Suppose $p$ were the largest prime number.
     \item<2-> Let $q$ be the product of the first $p$ numbers.
     \item<3-> Then $q+1$ is not divisible by any of them.
-    \item<1-> Thus $q+1$ is also prime and greater than $p$.\qedhere
+    \item<1-> But $q + 1$ is greater than $1$, thus divisible by some prime
+      number not in the first $p$ numbers.\qedhere
     \end{enumerate}
   \end{proof}
 \end{frame}
   \parindent 0pt
   Copyright 2003--2007 by Till Tantau
 
-  Copyright 2010 by Joseph Wright and Vedran Mileti\'c
+  Copyright 2010,2011 by Joseph Wright and Vedran Mileti\'c
 
   \medskip
   Permission is granted to copy, distribute and/or modify \emph{the documentation} under the terms of the \textsc{gnu} Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled \textsc{gnu} Free Documentation License.
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.