Properties of CsT Theorem Every CsT is finished Reduce the E level by level and there is no e unreduced for any fixedProperties of CST . Theorem . .Every CST is finished. . Proof. . . Reduce the E level by level and there is no E unreduced for any fixed level. Yi Li (Fudan University) Discrete Mathematics April 9, 2013 10 / 14