The document proves that the Most Frequent K Characters (MFKC) approach for measuring string similarity is both correct and complete. It does this by showing that the output of MFKC (A) is equal to the set of all string pairs with a similarity score above the threshold (A*). MFKC uses three filters (R1, R2, R3) to iteratively reduce the set of string pairs. It is shown that no pair discarded by the filters has a similarity above the threshold, proving completeness. Correctness follows from the definition of the final output A matching the definition of A*.