The math that decides if an AI compression claim is lossless — type0 | type0