>>813の場合はアレフ1やアレフ2がwell definedでないということ