Lossy data compression is the converse of lossless data compression