下列推理中，形式有效的一项是（）。

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