numbering theoretical functions