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.
]
