如何重新定义证明？

Question

我想定义一个新的证明环境。我已将其定义如下。

\documentclass{article}
\usepackage[section]{placeins}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{mathtools}

\usepackage{float}
\restylefloat{table}

\newcommand{\mycite}[1]{\citeauthor{#1}~[\citenum{#1}]}
\usepackage[numbers]{natbib}
\usepackage{filecontents}
\usepackage{hyperref}
\hypersetup{
     colorlinks   = true,
     citecolor    = blue
}



\usepackage{cleveref}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{cleveref}
\usepackage{etoolbox}
\AtEndEnvironment{quote}{\centering}

\newtheorem*{proofs}{Proof S}

\begin{document}

\begin{proofs}
There are many things 
\end{proofs}

\end{document}

查看编译后的文档：

问题：有两个问题，第一为什么它是粗体，第二为什么是斜体？我还想定义一个证明命令，其中输出应该是“定理 4 的证明”等。

Answer 1

我不确定您想要什么，但如果您只是需要另一个参考定理的证明环境，您可以利用证明环境的可选参数，正如芭芭拉所说，并创建一个以参考标签为参数的新环境。

离题：您加载了cleveref两次。

\documentclass{article}
\usepackage[section]{placeins}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{mathtools}

\usepackage{float}
\restylefloat{table}

\newcommand{\mycite}[1]{\citeauthor{#1}~[\citenum{#1}]}
\usepackage[numbers]{natbib}
\usepackage{filecontents}
\usepackage{hyperref}
\hypersetup{
     colorlinks   = true,
     citecolor    = blue
}

\usepackage{cleveref}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{etoolbox}
\AtEndEnvironment{quote}{\centering}

\newtheorem{theorem}{Theorem}
\newenvironment{proofs}[1][]{\begin{proof}[Proof of Theorem \ref{#1}]}{\end{proof}}
\begin{document}
\begin{theorem}\label{theo:my}
here is my theorem
\end{theorem}
\begin{proofs}[theo:my]
There are many things 
\end{proofs}
\end{document}