“a mathematical basis for data compression.”