If an internal node is red, its two children are both black.
אם צומת פנימי הוא אדום, אז שני ילדיו שחורים.