No solution of a class of lack of congruence equations with constant is proved by mathematical induction,which twin prime conjecture is established.The infinitely many prime twins exist in natural number field.The twin prime conjecture is correct.