Fix theorem creation