This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2005.2.22)  3 JUL 2005 16:51
**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/english.ldf
Language: english 2001/04/15 v3.3l English 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
)
\l@canadian = a dialect from \language\l@english 
))
(/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

LaTeX Warning: Label `section:3.2f' multiply defined.

)
\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]
Overfull \hbox (25.3165pt too wide) in paragraph at lines 180--181
[]$\OT1/cmtt/m/n/7 http : / / www . diku . dk / ~grue / logiweb / 20050502 / ho
me / mrmr / peano-[]commutativity / latest / vector /|
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--205

 []

[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 293.


LaTeX Warning: Reference `section:Bibliography' on page 6 undefined on input li
ne 306.

[6] [7] [8]

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


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

[9]
Underfull \hbox (badness 10000) in paragraph at lines 592--599

 []


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

 []

[10]
Underfull \hbox (badness 10000) in paragraph at lines 620--625

 []

\lgwproofline=\count95

Underfull \hbox (badness 10000) in paragraph at lines 626--835

 []

[11]

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


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


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


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


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


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

[12]
Underfull \hbox (badness 10000) in paragraph at lines 1265--1268

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 1289--1293

 []


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

 []


Underfull \hbox (badness 10000) in paragraph at lines 1318--1329

 []

[13]
\lgwproofline=\count96

Underfull \hbox (badness 10000) in paragraph at lines 1332--1507

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 1516--1520

 []


Underfull \hbox (badness 10000) in paragraph at lines 1521--1542

 []


Underfull \hbox (badness 10000) in paragraph at lines 1543--1566

 []

\lgwproofline=\count97

Underfull \hbox (badness 10000) in paragraph at lines 1569--1929

 []

[14]

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


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


Underfull \hbox (badness 10000) in paragraph at lines 1942--1943

 []


Underfull \hbox (badness 10000) in paragraph at lines 1944--1967

 []


Underfull \hbox (badness 10000) in paragraph at lines 1968--1983

 []

\lgwproofline=\count98

Underfull \hbox (badness 10000) in paragraph at lines 1986--2157

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 2166--2170

 []


Underfull \hbox (badness 10000) in paragraph at lines 2171--2192

 []


Underfull \hbox (badness 10000) in paragraph at lines 2193--2212

 []

\lgwproofline=\count99

Underfull \hbox (badness 10000) in paragraph at lines 2215--2468

 []

[15]

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


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


Underfull \hbox (badness 10000) in paragraph at lines 2476--2478

 []


Underfull \hbox (badness 10000) in paragraph at lines 2479--2502

 []


Underfull \hbox (badness 10000) in paragraph at lines 2503--2524

 []

\lgwproofline=\count100

Underfull \hbox (badness 10000) in paragraph at lines 2527--2685

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 2691--2696

 []


Underfull \hbox (badness 10000) in paragraph at lines 2699--2722

 []


Underfull \hbox (badness 10000) in paragraph at lines 2723--2744

 []

\lgwproofline=\count101

Underfull \hbox (badness 10000) in paragraph at lines 2745--2954

 []

[16]

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


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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 2971--2981

 []


Underfull \hbox (badness 10000) in paragraph at lines 2984--3010

 []


Underfull \hbox (badness 10000) in paragraph at lines 3011--3024

 []

\lgwproofline=\count102

Underfull \hbox (badness 10000) in paragraph at lines 3025--3164

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 3171--3175

 []

[17]
Underfull \hbox (badness 10000) in paragraph at lines 3178--3204

 []


Underfull \hbox (badness 10000) in paragraph at lines 3205--3229

 []

\lgwproofline=\count103

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


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


Underfull \hbox (badness 10000) in paragraph at lines 3230--3546

 []


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


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


Overfull \hbox (1.9547pt too wide) in paragraph at lines 3552--3558
\OT1/cmr/m/n/10 As is seen from [[]], p. 158, in-duc-tion is used in the proof 
of $\U/euf/m/n/10 [\OT1/cmr/m/n/10 M Proposition 3\U/eur/m/n/10 :\OT1/cmr/m/n/1
0 2\U/euf/m/n/10 (\OT1/cmr/m/n/10 f\U/euf/m/n/10 )]$\OT1/cmr/m/n/10 .|
 []


Underfull \hbox (badness 10000) in paragraph at lines 3552--3558

 []


Underfull \hbox (badness 10000) in paragraph at lines 3561--3584

 []


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

 []

\lgwproofline=\count104

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


Underfull \hbox (badness 10000) in paragraph at lines 3606--3856

 []

[18]

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


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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 3871--3874

 []


Underfull \hbox (badness 10000) in paragraph at lines 3877--3903

 []


Underfull \hbox (badness 10000) in paragraph at lines 3904--3926

 []

\lgwproofline=\count105

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


Underfull \hbox (badness 10000) in paragraph at lines 3928--4239

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 4247--4273

 []


Overfull \hbox (12.56895pt too wide) in paragraph at lines 4274--4306
$\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 4274--4306

 []

\lgwproofline=\count106

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


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


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


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


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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 4309--5007

 []

[19]

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


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


Underfull \hbox (badness 10000) in paragraph at lines 5013--5015

 []


Underfull \hbox (badness 10000) in paragraph at lines 5016--5039

 []


Underfull \hbox (badness 10000) in paragraph at lines 5040--5060

 []

\lgwproofline=\count107

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


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


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


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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 5063--5365

 []

[20]

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


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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 5382--5387

 []


Underfull \hbox (badness 10000) in paragraph at lines 5388--5412

 []


Underfull \hbox (badness 10000) in paragraph at lines 5413--5433

 []

\lgwproofline=\count108

Underfull \hbox (badness 10000) in paragraph at lines 5436--5744

 []

[21]

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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 5753--5758

 []


Underfull \hbox (badness 10000) in paragraph at lines 5759--5787

 []


Overfull \hbox (8.64034pt too wide) in paragraph at lines 5788--5820
$\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 5788--5820

 []

\lgwproofline=\count109

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


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


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


Underfull \hbox (badness 10000) in paragraph at lines 5823--6205

 []


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


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


Underfull \hbox (badness 10000) in paragraph at lines 6213--6216

 []


Underfull \hbox (badness 10000) in paragraph at lines 6217--6241

 []


Underfull \hbox (badness 10000) in paragraph at lines 6242--6270

 []

\lgwproofline=\count110

Underfull \hbox (badness 10000) in paragraph at lines 6273--6899

 []

[22]

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


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


Underfull \hbox (badness 10000) in paragraph at lines 6907--6910

 []


Underfull \hbox (badness 10000) in paragraph at lines 6911--6934

 []


Underfull \hbox (badness 10000) in paragraph at lines 6935--6958

 []

\lgwproofline=\count111

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


Underfull \hbox (badness 10000) in paragraph at lines 6961--7279

 []

[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 Peano arith-metic\OT1/cmr/m/n/1
0 .  http://www.diku.dk/[]\OT1/cmtt/m/n/10 ~\OT1/cmr/m/n/10 grue/logiweb/
 []

) [28] (./page.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: There were multiply-defined labels.

 ) 
Here is how much of TeX's memory you used:
 2659 strings out of 95835
 35946 string characters out of 1195527
 118703 words of memory out of 1000001
 5539 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,209b,293s stack positions out of 1500i,500n,5000p,200000b,5000s

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