Which theorem package are you using for typst?