We’re in Step 5-1 having confirmed (9.2) last time by the push-up lemma. With (8.3) on 12/2/24 in addition, we grew the three cores \( C_i \) by (9.3) discussing the necessary conditions for the final step 5-2. We verify all its arguments in this post.
This completes Step 5-1. Next time, we’ll note additional remarks on (10.3), then finish our proof of the three-disjoint-set claim.
Links for mobile devices