fix theorem counting