Proving Optimality and Designing Huffman Encoding Algorithm