new counter for the definition and the theorem