section_heading: Brisanje
paragraph_text: Unutar while petlje, x uvijek pokazuje na nekorijenski dvostruko crni čvor. Određujemo u liniji 2 je li x lijevo dijete ili desno dijete svojega roditelja p[x]. (Dali smo kod za situaciju u kojoj je x lijevo dijete; situacija u kojoj je x desno dijete – linija 22 - je simetrična.) Održavamo pokazivač w na brata ili sestru od x. Budući da je čvor x dvostruko crn, čvor w ne može biti nil[T], jer bi inače broj crnih čvorova na putu od p[x] do (crnog) lista w bio manji od onih na putu od p[x] do x. Četiri slučaja u kodu su ilustrirana na slici 7. Prije detaljnijeg razmatranja svakoga slučaja pogledajmo kako općenitije možemo provjeriti zadržava li transformacija u svakom slučaju svojstvo 5. Ključna ideja je ta da u svakome slučaju broj crnih čvorova (uključujući x-evo dodatno crnilo) od (i uključujući) korijena pokazanog podstabla pa do svakog podstabla α, β, ..., ζ održan od strane transformacije. Stoga, ako je svojstvo održano prije transformacije, održano je i nakon nje. Na primjer, u slici 7(a), koja ilustrira slučaj 1, broj crnih čvorova od korijena do nekog od podstabla α ili β je 3 i prije i poslije transformacije. (Pri čemu se valja prisjetiti da čvor x dodaje dodatni crni čvor.) Slično, broj crnih čvorova od korijena do bilo kojeg od γ, δ, ε, i ζ, je isti prije i poslije transformacije. Na slici 7(b) brojanje mora uključiti vrijednost c atributa boja korijena prikazanog podstabla, koji može biti ili CRVEN ili CRN. Ako definiramo broj(CRVEN) = 0 i broj(CRN) =1, tada je broj crnih čvorova od korijena do α jednak 2 + count(c), i prije i poslije transformacije. U ovom slučaju, poslije transformacije novi čvor x ima atriribut boja jednak c, ali ovaj čvor je ustvari ili crveno-crn (ako je c= CRVENA) ili dvostruko crn (ako je c=CRNA). Drugi slučajevi mogu biti provjereni na sličan način.