Add theorem controller with create action