In the course of developing these techniques, it became clear that the first statement used without proof in Voevodsky's 2003 preprint is false.
これらのテクニックの開発の道筋では、ヴォエヴォドスキーの2003年の証明なしで使われている第一のステートメントが誤りであることが判明した。