Presupunem ca exista un numar natural n care respecta conditiile:
n : 35 = c₁ rest 7 ==> n = 35c₁ + 7 = 7(5c₁ + 1) ==> n este divizivil cu 7
n : 7 = c₂ rest 6 ==> n nu este divizibil cu 7
Nu exista n care sa fie si sa nu fie, in acelasi timp, divizibil cu 7 ==> Presupunerea este falsa ==> Nu exista n care sa indeplineasca conditiile
