Allow configuration of theorem numbering.