Property of CST Theorem Every CST from a set of premises is finishedProperty of CST . Theorem . .Every CST from a set of premises is finished. Yi Li (Fudan University) Discrete Mathematics April 23, 2013 8 / 25