下列推理中，形式有效的一项是( ）。
A.所有同学都是团员，所以有些同学是团员
B.有些同学是团员，所以，所有同学都是团员
C.有些同学是团员，所以有些同学不是团员
D.有些同学是非团员，所以有些同学是团员

---