Theorem 1 (Weak factorization theorem)

🏗️