It was proved by Vladimir Voevodsky (1996, 2003a, 2003b).
本予想は、Vladimir Voevodsky (1996, 2003a, 2003b) で証明された。