Wikipedia
B-theorem
In mathematical finite group theory, the B-theorem (formerly the B-conjecture) states that if C is the centralizer of an involution of a finite group, then every component of C/O(C) is the image of a component of C .