Re: “bordare un teorema”

This is pdfTeX, Version 3.1415926-2.3-1.40.12 (Web2C 2011)
restricted \write18 enabled.
entering extended mode
(./senza-nome-3.tex
LaTeX2e <2011/06/27>
Babel and hyphenation patterns for english, dumylang, nohyphenation, ge
rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
.
(c:/texlive/2011/texmf-dist/tex/latex/base/report.cls
Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
(c:/texlive/2011/texmf-dist/tex/latex/base/size10.clo))
(c:/texlive/2011/texmf-dist/tex/latex/showexpl/showexpl.sty
(c:/texlive/2011/texmf-dist/tex/latex/listings/listings.sty
(c:/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty)
(c:/texlive/2011/texmf-dist/tex/latex/listings/lstmisc.sty)
(c:/texlive/2011/texmf-dist/tex/latex/listings/listings.cfg))
(c:/texlive/2011/texmf-dist/tex/latex/tools/calc.sty)
(c:/texlive/2011/texmf-dist/tex/latex/base/ifthen.sty)
(c:/texlive/2011/texmf-dist/tex/latex/graphics/graphicx.sty
(c:/texlive/2011/texmf-dist/tex/latex/graphics/graphics.sty
(c:/texlive/2011/texmf-dist/tex/latex/graphics/trig.sty)
(c:/texlive/2011/texmf-dist/tex/latex/latexconfig/graphics.cfg)
(c:/texlive/2011/texmf-dist/tex/latex/pdftex-def/pdftex.def
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
(c:/texlive/2011/texmf-dist/tex/latex/varwidth/varwidth.sty)
(c:/texlive/2011/texmf-dist/tex/latex/listings/lstmisc.sty))
(c:/texlive/2011/texmf-dist/tex/latex/mdframed/mdframed.sty
(c:/texlive/2011/texmf-dist/tex/latex/oberdiek/kvoptions.sty
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/etexcmds.sty
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/ifluatex.sty))))
(c:/texlive/2011/texmf-dist/tex/latex/etex-pkg/etex.sty)
(c:/texlive/2011/texmf-dist/tex/latex/graphics/color.sty
(c:/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
(c:/texlive/2011/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(c:/texlive/2011/texmf-dist/tex/latex/oberdiek/zref-abspage.sty
(c:/texlive/2011/texmf-dist/tex/latex/oberdiek/zref-base.sty
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty)
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/ifpdf.sty))
(c:/texlive/2011/texmf-dist/tex/latex/oberdiek/auxhook.sty))
(c:/texlive/2011/texmf-dist/tex/generic/oberdiek/atbegshi.sty))
(c:/texlive/2011/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(c:/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(c:/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(c:/texlive/2011/texmf-dist/tex/latex/ms/everyshi.sty))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(c:/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(c:/texlive/2011/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex)
) (c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def))
)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
)) (c:/texlive/2011/texmf-dist/tex/latex/xcolor/xcolor.sty
(c:/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.te
x)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric
.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.t
ex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.co
de.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.te
x)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
))) (c:/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.cod
e.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.te
x)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code
.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.c
ode.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)

(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.co
de.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code
.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
)))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
(c:/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.st
y)
(c:/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.st
y)) (c:/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(c:/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
(c:/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(c:/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.co
de.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
(c:/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzli
brarytopaths.code.tex)))
(c:/texlive/2011/texmf-dist/tex/latex/mdframed/md-frame-1.mdf))
(./senza-nome-3.aux) (c:/texlive/2011/texmf-dist/tex/context/base/supp-pdf.mkii

[Loading MPS to PDF converter (version 2006.09.02).]
) (c:/texlive/2011/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(c:/texlive/2011/texmf-dist/tex/latex/oberdiek/grfext.sty)
(c:/texlive/2011/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
ABD: EveryShipout initializing macros

! Package keyval Error: frametitleaboveskip undefined.

See the keyval package documentation for explanation.
Type H for immediate help.
…

l.39 \begin{theo}[Inhomogeneous Linear]

?