$lines_in_file + $size_of_smaller_file == $lines_in_larger_file