qiizo: 定理 [22; ~quz]