「任意の自然数ｌ、ｍ、ｎに対して、
（ｍ＋ｌ）Ｃｌ＊（ｍ＋ｌ＋１）Ｃｌ＊・・・＊（ｍ＋ｌ＋ｎ−１）Ｃｌは
ｌＣｌ＊（ｌ＋１）Ｃｌ＊・・・＊（ｌ＋ｎ−１）Ｃｌで割り切れる」