Add theorem problem