请确定下列推理的推理形式，并判断推理是否有效： 我们知道，球体可以产生圆形的阴影地球在月食时在月亮上的阴影是圆形的，这证明地球是球体 A：肯定前件，B：肯定后件，C：否定前件，D：否定后件 A：有效，B：无效()。