“…, applying Theorem 4.7 yields a (3p 1 · · · p r+1 , 3p 2 · · · p r+1 , {{4}, {4}}, 4)-BNCRDP of size 3p1···pr+1−3p2···pr+1 4 over Z 3p1···pr+1 such that each CRDP is a partition of Z 3p1···pr+1 \ p 1 Z 3p1···pr+1 . By induction hypothesis there exits a partition-type (3p 2 · · · p r+1 , {{3, 4}, {3, 4}}, 4)-BNCDP over Z 3p2···pr+1 of size 3p2···pr+1 4 , applying Lemma 4.6 then yields a partition-type (3p 1 · · · p r+1 , {{3, 4}, {3, 4}}, 4)-BNCDP of size 3p1···pr+1+1 4 over Z 3p1···pr+1 .…”