abelian theorem