?فزض کٌین ? g?یک گزٍُ ٍ ? n ٍ m?دٍ عذد صحیح هثبت باشٌذ? .?گَیین ? g?در شزط )? comm(m,n?صذق هیکٌذ اگز بزای ّز دٍ? ?? y?هَجَد باشٌذ ب عَری کِ ? .xy = yx?اگز گزٍُ? ?سیزهجوَعِ ? n ٍ m?اس ? g?با اًذاسُّای ب تزتیب ? ،n ٍ m?عٌاصزی چَی ?ٍ x m?? ?? g?در شزط )? comm(m,n?صذق کٌذ? ،?ب اختصار گَیین ? g?یک )?-c(m,n?گزٍُ است?