a 無効となった前提