This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2005.2.22)  1 JUL 2005 16:59
**page
(./page.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, d
anish, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/fleqn.clo
File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations)
\mathindent=\dimen102
)
(/usr/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen103
) (./lgwinclude.tex)
(/usr/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 42.
)
(/usr/share/texmf/tex/generic/babel/babel.sty
Package: babel 2001/03/01 v3.7h The Babel package

(/usr/share/texmf/tex/generic/babel/danish.ldf
Language: danish 2001/01/30 v1.3n Danish support from the babel system

(/usr/share/texmf/tex/generic/babel/babel.def
File: babel.def 2001/03/01 v3.7h Babel common definitions
\babel@savecnt=\count87
\U@D=\dimen104
)
Package babel Info: Making " an active character on input line 62.
))
(/usr/share/texmf/tex/latex/misc/euler.sty
Package: euler 1995/03/05 v2.5

Package: `euler' v2.5 <1995/03/05> (FJ and FMi)
LaTeX Font Info:    Redeclaring symbol font `letters' on input line 35.

LaTeX Font Warning: Encoding `OML' has changed to `U' for symbol font
(Font)              `letters' in the math version `normal' on input line 35.

LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
(Font)                  OML/cmm/m/it --> U/eur/m/n on input line 35.

LaTeX Font Warning: Encoding `OML' has changed to `U' for symbol font
(Font)              `letters' in the math version `bold' on input line 35.

LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
(Font)                  OML/cmm/b/it --> U/eur/m/n on input line 35.
LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
(Font)                  U/eur/m/n --> U/eur/b/n on input line 36.
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 47.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 48.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 49.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 50.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 51.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 52.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 53.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 54.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 55.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 56.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 57.
\symEulerFraktur=\mathgroup5
LaTeX Font Info:    Overwriting symbol font `EulerFraktur' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 63.
LaTeX Info: Redefining \oldstylenums on input line 85.
\symEulerScript=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `EulerScript' in version `bold'
(Font)                  U/eus/m/n --> U/eus/b/n on input line 93.
LaTeX Font Info:    Redeclaring math symbol \aleph on input line 97.
LaTeX Font Info:    Redeclaring math symbol \Re on input line 98.
LaTeX Font Info:    Redeclaring math symbol \Im on input line 99.
LaTeX Font Info:    Redeclaring math delimiter \vert on input line 101.
LaTeX Font Info:    Redeclaring math delimiter \backslash on input line 103.
LaTeX Font Info:    Redeclaring math symbol \neg on input line 106.
LaTeX Font Info:    Redeclaring math symbol \wedge on input line 108.
LaTeX Font Info:    Redeclaring math symbol \vee on input line 110.
LaTeX Font Info:    Redeclaring math symbol \setminus on input line 112.
LaTeX Font Info:    Redeclaring math symbol \sim on input line 113.
LaTeX Font Info:    Redeclaring math symbol \mid on input line 114.
LaTeX Font Info:    Redeclaring math delimiter \arrowvert on input line 116.
LaTeX Font Info:    Redeclaring math symbol \mathsection on input line 117.
\symEulerExtension=\mathgroup7
LaTeX Font Info:    Redeclaring math symbol \coprod on input line 125.
LaTeX Font Info:    Redeclaring math symbol \prod on input line 125.
LaTeX Font Info:    Redeclaring math symbol \sum on input line 125.
LaTeX Font Info:    Redeclaring math symbol \intop on input line 130.
LaTeX Font Info:    Redeclaring math symbol \ointop on input line 131.
LaTeX Font Info:    Redeclaring math symbol \braceld on input line 132.
LaTeX Font Info:    Redeclaring math symbol \bracerd on input line 133.
LaTeX Font Info:    Redeclaring math symbol \bracelu on input line 134.
LaTeX Font Info:    Redeclaring math symbol \braceru on input line 135.
LaTeX Font Info:    Redeclaring math symbol \infty on input line 136.
LaTeX Font Info:    Redeclaring math symbol \nearrow on input line 153.
LaTeX Font Info:    Redeclaring math symbol \searrow on input line 154.
LaTeX Font Info:    Redeclaring math symbol \nwarrow on input line 155.
LaTeX Font Info:    Redeclaring math symbol \swarrow on input line 156.
LaTeX Font Info:    Redeclaring math symbol \Leftrightarrow on input line 157.
LaTeX Font Info:    Redeclaring math symbol \Leftarrow on input line 158.
LaTeX Font Info:    Redeclaring math symbol \Rightarrow on input line 159.
LaTeX Font Info:    Redeclaring math symbol \leftrightarrow on input line 160.
LaTeX Font Info:    Redeclaring math symbol \leftarrow on input line 161.
LaTeX Font Info:    Redeclaring math symbol \rightarrow on input line 163.
LaTeX Font Info:    Redeclaring math delimiter \uparrow on input line 166.
LaTeX Font Info:    Redeclaring math delimiter \downarrow on input line 168.
LaTeX Font Info:    Redeclaring math delimiter \updownarrow on input line 170.
LaTeX Font Info:    Redeclaring math delimiter \Uparrow on input line 172.
LaTeX Font Info:    Redeclaring math delimiter \Downarrow on input line 174.
LaTeX Font Info:    Redeclaring math delimiter \Updownarrow on input line 176.
LaTeX Font Info:    Redeclaring math symbol \leftharpoonup on input line 177.
LaTeX Font Info:    Redeclaring math symbol \leftharpoondown on input line 178.

LaTeX Font Info:    Redeclaring math symbol \rightharpoonup on input line 179.
LaTeX Font Info:    Redeclaring math symbol \rightharpoondown on input line 180
.
LaTeX Font Info:    Redeclaring math delimiter \lbrace on input line 182.
LaTeX Font Info:    Redeclaring math delimiter \rbrace on input line 184.
\symcmmigroup=\mathgroup8
LaTeX Font Info:    Overwriting symbol font `cmmigroup' in version `bold'
(Font)                  OML/cmm/m/it --> OML/cmm/b/it on input line 200.
LaTeX Font Info:    Redeclaring math accent \vec on input line 201.
LaTeX Font Info:    Redeclaring math symbol \triangleleft on input line 202.
LaTeX Font Info:    Redeclaring math symbol \triangleright on input line 203.
LaTeX Font Info:    Redeclaring math symbol \star on input line 204.
LaTeX Font Info:    Redeclaring math symbol \lhook on input line 205.
LaTeX Font Info:    Redeclaring math symbol \rhook on input line 206.
LaTeX Font Info:    Redeclaring math symbol \flat on input line 207.
LaTeX Font Info:    Redeclaring math symbol \natural on input line 208.
LaTeX Font Info:    Redeclaring math symbol \sharp on input line 209.
LaTeX Font Info:    Redeclaring math symbol \smile on input line 210.
LaTeX Font Info:    Redeclaring math symbol \frown on input line 211.
LaTeX Font Info:    Redeclaring math accent \hat on input line 254.
) (/usr/share/texmf/tex/latex/misc/url.sty
\Urlmuskip=\muskip10
Package: url 1999/03/28  ver 1.5x  Verb mode for urls, etc.
)
(/usr/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
) (./page.sty)
\@indexfile=\write3
\openout3 = `page.idx'.


Writing index file page.idx
\bracketwidth=\skip43
LaTeX Font Info:    Try loading font information for U+eur on input line 26.
(/usr/share/texmf/tex/latex/amsfonts/ueur.fd
File: ueur.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 26.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 26.
LaTeX Font Info:    Try loading font information for U+lasy on input line 26.

(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+euf on input line 26.

(/usr/share/texmf/tex/latex/amsfonts/ueuf.fd
File: ueuf.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+eus on input line 26.

(/usr/share/texmf/tex/latex/amsfonts/ueus.fd
File: ueus.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+euex on input line 26.

(/usr/share/texmf/tex/latex/amsfonts/ueuex.fd
File: ueuex.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    External font `euex7' loaded for size
(Font)              <7> on input line 26.
LaTeX Font Info:    External font `euex7' loaded for size
(Font)              <5> on input line 26.

(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX

(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
\@linkdim=\dimen105
\Hy@linkcounter=\count88
\Hy@pagecounter=\count89

(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing OFF on input line 1812.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count90
\Field@Width=\dimen106
\Fld@charsize=\dimen107
\Choice@toks=\toks15
\Field@toks=\toks16
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing OFF on input line 2528.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count91
\c@Hfootnote=\count92
)
*hyperref using driver hdvipdfm*
(/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def
File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm
\pdfm@box=\box26
\Fld@listcount=\count93
\@outlinefile=\write4
)
Package hyperref Info: Option `colorlinks' set `true' on input line 35.
\outex=\write5
\toktex=\toks17
\openout5 = `page.otx'.

\outest=\write6
\openout6 = `page.tst'.

 (./page.aux)
\openout1 = `page.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 68.
LaTeX Font Info:    ... okay on input line 68.
LaTeX Font Info:    Redeclaring symbol font `operators' on input line 68.
LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
(Font)                  OT1/cmr/m/n --> OT1/cmr/m/n on input line 68.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/cmr/m/n on input line 68.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/m/n --> OT1/cmr/bx/n on input line 68.
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
(Font)                  OT1/cmr/bx/n --> OT1/cmr/bx/n on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/cmr/bx/n on input line 68.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
(Font)                  OT1/cmss/bx/n --> OT1/cmss/m/n on input line 68.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
(Font)                  OT1/cmr/m/it --> OT1/cmr/m/it on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/cmr/bx/it --> OT1/cmr/m/it on input line 68.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
(Font)                  OT1/cmss/m/n --> OT1/cmss/bx/n on input line 68.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/cmr/m/it --> OT1/cmr/bx/it on input line 68.

(/usr/share/texmf/tex/latex/graphics/color.sty
Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)

(/usr/share/texmf/tex/latex/config/color.cfg
File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 125.

(/usr/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)
(/usr/share/texmf/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
Package hyperref Info: Link coloring ON on input line 68.

(/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count94
)
LaTeX Info: Redefining \ref on input line 68.
LaTeX Info: Redefining \pageref on input line 68.
 (./page.out) (./page.out)
\openout4 = `page.out'.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 74.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 74.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 74.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 74.
LaTeX Font Info:    External font `euex7' loaded for size
(Font)              <6> on input line 74.

(./page.toc [1

])
\tf@toc=\write7
\openout7 = `page.toc'.

 [2] [3]
Underfull \hbox (badness 10000) in paragraph at lines 193--206

 []

[4] [5]
LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <10> not available
(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 294.
 [6] [7] [8]

Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 477.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 477.

[9]
Underfull \hbox (badness 10000) in paragraph at lines 578--585

 []


Underfull \hbox (badness 10000) in paragraph at lines 586--597

 []


Underfull \hbox (badness 10000) in paragraph at lines 606--611

 []

\lgwproofline=\count95

Underfull \hbox (badness 10000) in paragraph at lines 612--823

 []

[10] [11]
Underfull \hbox (badness 10000) in paragraph at lines 1253--1256

 []

[12]

Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1273.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1273.


Underfull \hbox (badness 10000) in paragraph at lines 1277--1281

 []


Underfull \hbox (badness 10000) in paragraph at lines 1282--1305

 []


Underfull \hbox (badness 10000) in paragraph at lines 1306--1317

 []

\lgwproofline=\count96

Underfull \hbox (badness 10000) in paragraph at lines 1320--1495

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1502.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1502.


Underfull \hbox (badness 10000) in paragraph at lines 1504--1508

 []

[13]
Underfull \hbox (badness 10000) in paragraph at lines 1509--1530

 []


Underfull \hbox (badness 10000) in paragraph at lines 1531--1554

 []

\lgwproofline=\count97

Underfull \hbox (badness 10000) in paragraph at lines 1557--1917

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1926.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 1926.


Underfull \hbox (badness 10000) in paragraph at lines 1930--1931

 []


Underfull \hbox (badness 10000) in paragraph at lines 1932--1955

 []


Underfull \hbox (badness 10000) in paragraph at lines 1956--1971

 []

\lgwproofline=\count98

Underfull \hbox (badness 10000) in paragraph at lines 1974--2145

 []

[14]
Overfull \hbox (9.98274pt too wide) in paragraph at lines 2146--2148
[]\OT1/cmr/m/n/10 Thus having pro-ved $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M Proposi
tion 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 b\U/euf/m/
n/10 )]$ \OT1/cmr/m/n/10 we pro-ceed to $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M Propo
sition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 c\U/euf/
m/n/10 )]$|
 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2152.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2152.


Underfull \hbox (badness 10000) in paragraph at lines 2154--2158

 []


Underfull \hbox (badness 10000) in paragraph at lines 2159--2180

 []


Underfull \hbox (badness 10000) in paragraph at lines 2181--2200

 []

\lgwproofline=\count99

Underfull \hbox (badness 10000) in paragraph at lines 2203--2456

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2460.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2460.


Overfull \hbox (37.87791pt too wide) in paragraph at lines 2464--2466
\OT1/cmr/m/n/10 As no-ted above we will make use of $\U/euf/m/n/10 [\OT1/cmr/m/
n/10 M Tautology B\U/euf/m/n/10 ]$ \OT1/cmr/m/n/10 in our proof of $\U/euf/m/n/
10 [\OT1/cmr/m/n/10 M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/1
0 (\OT1/cmr/m/n/10 c\U/euf/m/n/10 )]$\OT1/cmr/m/n/10 ,|
 []


Underfull \hbox (badness 10000) in paragraph at lines 2464--2466

 []


Underfull \hbox (badness 10000) in paragraph at lines 2467--2490

 []


Underfull \hbox (badness 10000) in paragraph at lines 2491--2512

 []

\lgwproofline=\count100

Underfull \hbox (badness 10000) in paragraph at lines 2515--2673

 []

[15]
Overfull \hbox (43.03835pt too wide) in paragraph at lines 2674--2675
[]\OT1/cmr/m/n/10 Thus having pro-ved $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M Proposi
tion 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 c\U/euf/m/
n/10 )]$ \OT1/cmr/m/n/10 we now pro-ceed with $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M
 Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 d\
U/euf/m/n/10 )]$\OT1/cmr/m/n/10 . |
 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2677.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2677.


Underfull \hbox (badness 10000) in paragraph at lines 2679--2684

 []


Underfull \hbox (badness 10000) in paragraph at lines 2687--2710

 []


Underfull \hbox (badness 10000) in paragraph at lines 2711--2732

 []

\lgwproofline=\count101

Underfull \hbox (badness 10000) in paragraph at lines 2733--2942

 []


Overfull \hbox (39.64948pt too wide) in paragraph at lines 2943--2945
[]\OT1/cmr/m/n/10 Thus having pro-ved $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M Proposi
tion 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 d\U/euf/m/
n/10 )]$ \OT1/cmr/m/n/10 we now pro-ceed with $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M
 Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 f\
U/euf/m/n/10 )]$|
 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2947.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2947.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2953.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 2953.


Underfull \hbox (badness 10000) in paragraph at lines 2955--2963

 []

[16]
Underfull \hbox (badness 10000) in paragraph at lines 2966--2992

 []


Underfull \hbox (badness 10000) in paragraph at lines 2993--3006

 []

\lgwproofline=\count102

Underfull \hbox (badness 10000) in paragraph at lines 3007--3146

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3151.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3151.


Underfull \hbox (badness 10000) in paragraph at lines 3153--3157

 []


Underfull \hbox (badness 10000) in paragraph at lines 3160--3186

 []


Underfull \hbox (badness 10000) in paragraph at lines 3187--3211

 []

\lgwproofline=\count103

Underfull \hbox (badness 2772) in paragraph at lines 3359--3359
[]$[] [] [] [] [] [] \U/euf/m/n/10 ([] [] [] []
 []


Underfull \hbox (badness 1062) in paragraph at lines 3401--3401
[]$[] [] [] [] \U/euf/m/n/10 ([] [] [])[] [] ([] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 3212--3528

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3532.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3532.


Underfull \hbox (badness 10000) in paragraph at lines 3534--3540

 []

[17]
Underfull \hbox (badness 10000) in paragraph at lines 3543--3566

 []


Underfull \hbox (badness 10000) in paragraph at lines 3567--3585

 []

\lgwproofline=\count104

Underfull \hbox (badness 2781) in paragraph at lines 3719--3719
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] [] [] [] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 3588--3838

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3842.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3842.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3851.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 3851.


Underfull \hbox (badness 10000) in paragraph at lines 3853--3857

 []


Underfull \hbox (badness 10000) in paragraph at lines 3860--3886

 []


Underfull \hbox (badness 10000) in paragraph at lines 3887--3909

 []

\lgwproofline=\count105

Underfull \hbox (badness 1082) in paragraph at lines 4099--4099
[]$\U/euf/m/n/10 ([] [] [])[] [] [] [] [] [] [] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 3911--4222

 []

[18]

Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 4223.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 4223.


Underfull \hbox (badness 10000) in paragraph at lines 4230--4256

 []


Overfull \hbox (12.56895pt too wide) in paragraph at lines 4257--4289
$\U/euf/m/n/10 [\OT1/cmr/m/n/10 S[][]M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n
/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 g\U/euf/m/n/10 ) (\OT1/cmr/m/n/10 ii\U/euf/
m/n/10 )\OT1/cmr/m/n/10 : [][]: \U/euf/m/n/10 ([] [] [] [] ([] [] [])[] [] [] [
] [] [] ([] [] [])[])]$ |
 []


Underfull \hbox (badness 10000) in paragraph at lines 4257--4289

 []

\lgwproofline=\count106

Underfull \hbox (badness 10000) in paragraph at lines 4405--4405
[]$[] [] [] [] \U/euf/m/n/10 ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4405--4405
\U/euf/m/n/10 ([] [] [])[] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4455--4455
[]$\U/euf/m/n/10 ([] [] [])[] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4704--4704
[]$[] [] [] [] \U/euf/m/n/10 ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4704--4704
\U/euf/m/n/10 ([] [] [])[] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4810--4810
[]$\U/euf/m/n/10 ([] [] [])[] [] ([] [] [])[] []
 []


Underfull \hbox (badness 5817) in paragraph at lines 4935--4935
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 4292--4990

 []

[19]

Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 4994.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 4994.


Underfull \hbox (badness 10000) in paragraph at lines 4996--4998

 []


Underfull \hbox (badness 10000) in paragraph at lines 5022--5042

 []

\lgwproofline=\count107

Underfull \hbox (badness 4569) in paragraph at lines 5124--5124
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[]) []
 []


Underfull \hbox (badness 5817) in paragraph at lines 5124--5124
[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 5124--5124
[] [] [] [] \U/euf/m/n/10 ([] [] [])[]) []
 []


Underfull \hbox (badness 5817) in paragraph at lines 5216--5216
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 5216--5216
[] [] [] [] \U/euf/m/n/10 ([] [] [])[]) []
 []


Underfull \hbox (badness 5817) in paragraph at lines 5253--5253
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[] []
 []


Underfull \hbox (badness 10000) in paragraph at lines 5045--5347

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5353.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5353.


Overfull \hbox (23.8277pt too wide) in paragraph at lines 5355--5358
\OT1/cmr/m/n/10 We now have the ne-ces-sary me-ans to show our ob-jective, na-m
ely $M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m/n
/10 h\U/euf/m/n/10 )$\OT1/cmr/m/n/10 .|
 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5361.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5361.


Underfull \hbox (badness 10000) in paragraph at lines 5363--5368

 []

[20]
Underfull \hbox (badness 10000) in paragraph at lines 5369--5393

 []


Underfull \hbox (badness 10000) in paragraph at lines 5394--5414

 []

\lgwproofline=\count108

Underfull \hbox (badness 10000) in paragraph at lines 5417--5725

 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5732.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `subscript' on input line 5732.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 5732.


Underfull \hbox (badness 10000) in paragraph at lines 5739--5741

 []


Underfull \hbox (badness 10000) in paragraph at lines 5742--5770

 []


Overfull \hbox (8.64034pt too wide) in paragraph at lines 5771--5803
$\U/euf/m/n/10 [\OT1/cmr/m/n/10 S[][]M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n
/10 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 h\U/euf/m/n/10 )[]\OT1/cmr/m/n/10 : [][]: \
U/euf/m/n/10 ([] [] [] [] ([] [] [])[]) \OMS/cmsy/m/n/10 ` [] [] [] [] \U/euf/m
/n/10 ([] [] [])[]]$ |
 []


Underfull \hbox (badness 10000) in paragraph at lines 5771--5803

 []

\lgwproofline=\count109

Underfull \hbox (badness 3965) in paragraph at lines 5879--5879
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[]) []
 []


Underfull \hbox (badness 4279) in paragraph at lines 5990--5990
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[]) []
 []


Underfull \hbox (badness 4608) in paragraph at lines 6099--6099
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] ([] [] [])[]) []
 []


Underfull \hbox (badness 10000) in paragraph at lines 5806--6188

 []

[21]
Overfull \hbox (46.8784pt too wide) in paragraph at lines 6189--6190
[]\OT1/cmr/m/n/10 We now have the ne-ces-sary me-ans to prove the in-duction st
ep of $M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/10 2\U/euf/m/n/10 (\OT1/cmr/m
/n/10 h\U/euf/m/n/10 )(\OT1/cmr/m/n/10 ii\U/euf/m/n/10 )$ |
 []


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 6193.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 6193.


Underfull \hbox (badness 10000) in paragraph at lines 6195--6198

 []


Underfull \hbox (badness 10000) in paragraph at lines 6199--6223

 []


Underfull \hbox (badness 10000) in paragraph at lines 6224--6252

 []

\lgwproofline=\count110

Underfull \hbox (badness 10000) in paragraph at lines 6255--6881

 []

[22]

Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 6887.


Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref)                removing `math shift' on input line 6887.


Underfull \hbox (badness 10000) in paragraph at lines 6889--6892

 []


Underfull \hbox (badness 10000) in paragraph at lines 6893--6916

 []


Underfull \hbox (badness 10000) in paragraph at lines 6917--6940

 []

\lgwproofline=\count111

Underfull \hbox (badness 10000) in paragraph at lines 7017--7017
[]$[][]\OT1/cmr/m/n/10 : \U/euf/m/n/10 ([] [] [] [] [] [] []) []
 []


Underfull \hbox (badness 10000) in paragraph at lines 6943--7261

 []

[23] [24] [25] [26] [27] (./page.bbl
Underfull \hbox (badness 10000) in paragraph at lines 4--8
\OT1/cmr/m/n/10 20050502/home/grue/check/GRD-2005-05-26-UTC-06-49-32-964854/,
 []


Underfull \hbox (badness 1152) in paragraph at lines 16--20
[]\OT1/cmr/m/n/10 Klaus Grue.  \OT1/cmr/m/it/10 Pe-ano arit-h-me-tic\OT1/cmr/m/
n/10 .  http://www.diku.dk/[]\OT1/cmtt/m/n/10 ~\OT1/cmr/m/n/10 grue/logiweb/
 []

) [28] (./page.aux) ) 
Here is how much of TeX's memory you used:
 2674 strings out of 95835
 36161 string characters out of 1195527
 118770 words of memory out of 1000001
 5554 multiletter control sequences out of 10000+50000
 20823 words of font info for 82 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 24i,10n,39p,220b,330s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on page.dvi (28 pages, 168024 bytes).