?فزض کٌین ? 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?گزٍُ است?