I am using theorion and when I put a #pause in between a proof and theorem, it duplicates the slide that the pause is on, but also the previous slide.
#proof[
From @b3_para, we know that $BB^3\\{bold(0)}$ is $S O(3)$-paradoxical. Let $L$ be a line that passes within the distance of $1\/2$ of origo, the center of $BB^3$, but without intersecting it. Let $D$ be a set containing only the point in origo; $D={bold(0)}$.
Note that all rotations of $D$ around $L$ move the point along a circle of radius less than $1\/2$ centered within the distance $1\/2$ from origo. Thus $D$ remains a subset of $BB^3$ for all rotations. These are rotations in $G_3$ and not $S O(3)$ since $L$ does not pass through origo. By applying @equ_irr_rot on $BB^3$, $D$, and $L$, we obtain that $BB^3$ and $BB^3\\{bold(0)}$ are $G_3$-equidecomposable.
Since $BB^3\\{bold(0)}$ is $S O(3)$-paradoxical, it is also $G_3$-paradoxical as $S O(3)$ is a subgroup of $G_3$. From [Lemma], we see that $BB^3$ is also $G_3$-paradoxical.
]
#pause //this is the pause
#theorem(title: "The strong Banach-Tarski paradox")[
Let $A$ and $B$ be bounded subsets of $RR^3$ with nonempty interiors, then $A$ and $B$ are $G_3$-equidecomposable.
]
Currently you can only split your content at where it would naturally break onto a new page and change the page counter manually and repeat the heading with the rest of the content. The overflow behaviour is managed by typst, not touying and thus touying has little control over that. It simply duplicates all the content you put in a slide and hides part of it as you write pause or similar.
You may e.g. do
== Long Slide
Long Content, that does not break onto a new page.
#counter("touying-last-slide-counter").update(n=>n-1)
== Long Slide Cont.
More Content and
#pause
Final Content.
you could perhaps also invoke the slide function explicitly with config: (freeze-slide-counter: true) and put the rest of your content in there.
This yields the same result.
I know the problem is that you want the proof environment, but perhaps you can change that somehow so that it does not show the name again and also does not show the square at the end of the first page.
