The existence of the solution for the problem of primary frost heave with lens formation