１２の約数１，２，３，４，６，１２は自然数を覆う剰余系を構成する。

x=ai mod(ni)

(ai,ni)

n1＜n2＜・・・、ここではn1=2とする

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

(0,2),(0,3),(1,4),(1,6),(11,12)

すなわち、すべての自然数は2の倍数か3の倍数か4で割って１余る数か6で割って１余る数か12で割って11余る数である。

{1,2,3,4,5,6,7,8,9,10,11,12}

{1,3,5,7,9,11}

{1,5,7,11}

{7,11}

{11}

{}

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝