No information is lost in lossless compression