B-theorem

B-theorem is a mathematical finite group theory result formerly known as the B-conjecture.
The theorem states that if formula_1 is the centralizer of an involution of a finite group, then every component of formula_2 is the image of a component of formula_1. 