a:9=c rest 2c.
a=11c.
Daca c=0 => 0:9=0 rest 0 care este adevarat.
Daca c=1 => 11:9=1 rest 2 care este adevarat.
Daca c=2 => 22:9=2 rest 4 care este adevarat.
Daca c=3 => 33:9=3 rest 6 care este adevarat.
Daca c=4 => 44:9=4 rest 8 care este adevarat.
Daca c=5 => 55:9=5 rest 10 care este fals deoarece nu corespunde teoremei impartirii cu rest.
c apartine multimii {0;1;2;3;4}.