不可逆圧縮すればそうでもない