theorems_controller_spec.rb revision 1aa35a3a8cba38a107c617092d5305da541ed518