ebproof не работает с темой metropolis beamer

Question

Я пытаюсь использовать тему «Метрополис» с beamerпакетом ebproofна обороте. (Похоже, это проблема, специфичная для оборота.) Однако среда ebproof's prooftreeне работает.

Вот пример ошибки:

И TeX, который его сгенерировал:

\documentclass[10pt]{beamer}

\usetheme{metropolis}

\usepackage{ebproof}
\begin{document}


\begin{frame}

$$\begin{prooftree} 
\hypo{A}
\infer1{B}
\end{prooftree}$$

\end{frame}

\end{document}