Corrected numeration (counter 'theorem')