I have a document where sometimes proofs start on a separate page than where their associated claims were stated.
Is it possible to force is so that (unless the statement of the claim is more than one page) the proof will always start on the page where the claim was stated?
Example:
LaTeX Code:
%% LyX 2.2.0dev created this file. For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[oneside,english,reqno]{amsart}
\usepackage[T1]{fontenc}
\usepackage[utf8]{luainputenc}
\usepackage[a4paper]{geometry}
\geometry{verbose,tmargin=1cm,bmargin=1cm,lmargin=1cm,rmargin=1cm}
\setcounter{secnumdepth}{5}
\usepackage{amsthm}
\usepackage{amssymb}
\makeatletter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
\swapnumbers
\theoremstyle{plain}
\newtheorem{thm}{\protect\theoremname}[section]
\theoremstyle{remark}
\newtheorem{claim}[thm]{\protect\claimname}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% User specified LaTeX commands.
\usepackage[breaklinks,colorlinks=true,linkcolor=blue,
citecolor=blue, urlcolor=blue]{hyperref}
\usepackage{braket}
\usepackage{mathtools}
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%
\DeclarePairedDelimiter\norm{\lVert}{\rVert}%
\let\oldnorm\norm
\def\norm{\@ifstar{\oldnorm}{\oldnorm*}}
\makeatother
\usepackage{amsfonts}
\usepackage{dsfont}
\renewcommand{\vec}[1]{\mathbf{#1}}
\usepackage[scaled=0.88]{beraserif}
\usepackage[scaled=0.85]{berasans}
\usepackage[scaled=0.84]{beramono}
\usepackage[T1]{fontenc}
\usepackage{mathpazo}
\usepackage[T1,small,euler-digits]{eulervm}
%\numberwithin{section}{chapter}
% make boxes around proofs:
%-------------------
\usepackage[framemethod=tikz]{mdframed}
\surroundwithmdframed[
hidealllines=true,
leftline=true,
bottomline=true,
innertopmargin=0pt,
skipabove=\dimexpr\topsep+6pt\relax,
skipbelow=\topsep,
innerrightmargin=0pt,
]{proof}
%-------------------
\AtBeginDocument{
\def\labelitemii{\(\circ\)}
\def\labelitemiv{\(\star\)}
}
\makeatother
\usepackage{babel}
\providecommand{\claimname}{Claim}
\providecommand{\theoremname}{Theorem}
\begin{document}
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here.
\begin{claim}
This is a claim.
\begin{proof}
This is the associated proof.
\begin{eqnarray*}
\hbar & = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar
\end{eqnarray*}
\end{proof}
\end{claim}
\end{document}
minipage
should provide them on the same page, but not necessarily on the one you want to have them ;-)