Abelian theorem

GPTKB entity