Add theorem model