剰余類の元の個数は等しい