关于Grace猜想的证明

证明了当n为偶数时C_n⊙K_1是协调图,从而证明了Thom Grace的猜想成立。