theorem counting fixed