We use the label M to denote the node to be deleted; C will denote a selected child of M, which we will also call "its child".
Будем использовать обозначение M для удаляемого узла; через C обозначим потомка M, который также будем называть просто «его потомок».