従って、デフォルトになる確率はゼロだ。