大家好。我的论文有问题。我使用了 tcolorbox 的“定理”库。但是当我使用环境证明（即 \begin{proof}）时，框的末尾和证明的开头之间有太多空间（如图所示）。你认为我能做什么？请注意，这仅在我使用环境证明时发生。另一方面，我一般想在框后留出一些空间，即我想在框的末尾和后面的文本之间留出一些空间。
感谢大家。
\documentclass[twoside,9pt,b5paper]{extbook}
\usepackage[dvips=false,pdftex=false,vtex=false]{geometry}
\usepackage{changepage}
\usepackage[a4,center]{crop}
\geometry{%
includeheadfoot,
margin=2.6cm
}
\usepackage{soul}
\usepackage{tikz,tikz-cd}
\usetikzlibrary{calc}
\usepackage{textcomp, gensymb}
\usepackage{amsthm,amssymb,amsfonts,mathrsfs}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english,italian]{babel}
\definecolor{indigo(dye)}{rgb}{0.0, 0.25, 0.42}
\usepackage[colorlinks = true,
linkcolor = indigo(dye),
filecolor=black,
urlcolor = black!40!cyan,
citecolor = indigo(dye),
anchorcolor = red!60!black]{hyperref}
\hypersetup{linktocpage}
\usepackage{tcolorbox}
\usepackage[pagestyles, clearempty,explicit]{titlesec}
\usepackage{fancyhdr}
\usepackage{anyfontsize}
\usepackage{palatino,eulervm}
\usepackage[protrusion=true,expansion]{microtype}
\usepackage{eqparbox}
\usepackage[titles]{tocloft}
\usepackage[nottoc,numbib]{tocbibind} %per il TOC
\usepackage{graphicx}
\def\chk#1{#1^{\smash{\scalebox{.7}[1.4]{\rotatebox{90}{\guilsinglleft}}}}}
\newtheorem{lem}{Lemma}
\newtheorem{cor}{Corollario}
\renewcommand{\square}{ \tikz[baseline=-.2ex] \filldraw [fill=black!35!white, draw=black] (0,0) rectangle (1ex,1ex) ;}
\newtheorem{example}{\square \; Esempio}
\renewcommand{\blacksquare}{\tikz[baseline=-.2ex] \filldraw [fill=black, draw=black] (0,0) rectangle (1ex,1ex) ;}
\renewcommand\qedsymbol{$\blacksquare$}
\linespread{1}
\makeatletter
\renewcommand\chapter{\if@openright\cleardoublepage\else\clearpage\fi
\thispagestyle{empty}%
\global\@topnum\z@
\@afterindentfalse
\secdef\@chapter\@schapter}
\makeatother
\tcbuselibrary{theorems}
\newtcbtheorem[number within=section]{propn}{Proposizione}{coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=black!5!white,colframe=black!35!white,fonttitle=\bfseries, arc=0mm, separator sign dash, description delimiters={\grqq}{\grqq}, terminator sign colon}{propn}
\newtcbtheorem[number within=section]{theo}{Teorema}{coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=black!5!white,colframe=black!35!white,fonttitle=\bfseries, arc=0mm, separator sign dash, description delimiters={\grqq}{\grqq}, terminator sign colon}{theo}
\newtcbtheorem[number within=section]{lemma}{Lemma}{coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=black!5!white,colframe=black!35!white,fonttitle=\bfseries, arc=0mm, separator sign dash, description delimiters={\grqq}{\grqq}, terminator sign colon}{lem}
\newtcbtheorem[number within=section]{defn}{Definizione}{leftrule=2mm, coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=black!5!white, colframe=black!35!white, fonttitle=\bfseries, arc=0mm, separator sign dash, description delimiters={\grqq}{\grqq}, terminator sign colon}{defn}
\newtcbtheorem[number within=section]{examp}{\square \; Esempio}{coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=white, colframe=white, fonttitle=\bfseries, arc=0mm, separator sign dash,terminator sign colon}{examp}
\newtcbtheorem[number within=section]{corol}{Corollario}{coltitle=black, detach title, before upper={\tcbtitle\quad}, colback=black!5!white,colframe=black!35!white,fonttitle=\bfseries, arc=0mm, separator sign dash, description delimiters={\grqq}{\grqq}, terminator sign colon}{corol}
\newtcbox{\mybox}{colback=red!5!white,colframe=red!75!black}
\pagestyle{fancy}
\fancyhf{}
\fancyhead[RE]{\small \leftmark}
\fancyhead[RO]{\thepage}
\fancyhead[LE]{\thepage}
\fancyhead[LO]{\small \rightmark}
\renewcommand{\headrulewidth}{0.5pt}
\renewcommand\cftchapfont{\scshape}
\renewcommand\cftsecfont{\scshape}