claim: Ted Cruz is a politician and attorney.
evidence: In mathematics , the Walter theorem , proved by , describes the finite groups whose Sylow 2-subgroup is abelian .. Sylow 2-subgroup. Sylow subgroup. abelian. abelian group. used Bender 's method to give a simpler proof .