Respuesta :

Mkno
Yes, it still requires dependent choice