Lagrange’s theorem specifies __________

• A. the order of semigroup is finite
• B. the order of the subgroup divides the order of the finite group
• C. the order of an abelian group is infinite
• D. the order of the semigroup is added to the order of the group