n=6*c+3=3*(2*c+1)
n=3*d+2 si adunand 1 in ambii membri obtinem
n+1=3*d+3=3*(d+1)
3 divide n si 3 divide (n+1), deci 3 va divide si diferenta lor, adica 3 divide 1. Contradictie!
Deci presupunerea ce exista n .... este falsa, prin urmare nu exista numere nat cu proprietatea din enunt.