Presupunem ca exista numere naturale care impartite la 18 sa dea restul 9 si impartite la 27 sa dea restul 2.
n=18•c1+9=9(2c1+1); =>n e divizibil cu 9 (1)
n=27•c2+2=> n nu e divizibil cu 9 (2)
din (1) si (2) => nu exista numere naturale care impartite la 18 sa dea restul 9 si impartite la 27 sa dea restul 2
