C-MinHash: Rigorously Reducing $K$ Permutations to Two