Zakalyukin's lemma asserts that the coincidence of images two wave front germs implies right equivalence corresponding map under a certain genericity assumption. The purpose this paper is to give an improvement for frontals. Moreover, we several applications singularities on surfaces.