[Changed Theorem Numbering]

    -    Changed Theorem Numbering to group all the counters and
         hence reflect a more readable/searchable reading style.