“…Hence, D (12) and apply Theorem 3.5 with g = 6, u = v−12 24 , t = 12 and h = 12 (the input designs are: a (P 2 , P 3 , (12), which exists by Lemma 4.3; a (P 2 , P 3 , P 4 ) − URGDD(r ′′ 2 , r ′′ 3 , r ′′ 4 ) of type 12 2 with (r ′′ 2 , r ′′ 3 , r ′′ 4 ) ∈ D(12 2 ), which exists by Lemma 4.4; a (P 2 , P 3 , P 4 ) − IURD (36, 12; [r ′ 2 , r ′ 3 , r ′ 4 ], [r ′′′ 2 , r ′′′ 3 , r ′′′ 4 ]) with (r ′ 2 , r ′ 3 , r ′ 4 ) ∈ D(12) and (r ′′′ 2 , r ′′′ 3 , r ′′′ 4 ) ∈ 2 * D(12 2 ), which exists by Lemma 4.8). This implies URD(v; P 2 , P 3 , P 4 ) ⊇ D(12) + v − 12 24 * 2 * D(12 2 ) .…”