可逆で実用性無視したらどれくらい縮むのかは興味ある