Seja o conjunto dos números múltiplos de ou , em que é um primo impar. Sabendo que de , que são múltiplos de , são ímpares; de W são ímpares; e elementos de não são múltiplos de , pode-se afirmar que a quantidade de elemenos de que são ímpares é um número múltiplo de: