begin{restatable}{thm}{firsttheorem}
label{thm:first}
  Sample theorem.
end{restatable}

begin{proof}
  Refer to supplementary material.
end{proof}

usepackage{xr}
externaldocument{../main}

firsttheorem*

Undefined control sequence.
myfirsttheorem