On a justification of the Huygens's Rule

The known Huygens's Rule of constructing a wavejfront by the envelopes is proved for the media discribed by parameters nonanalytically depended on coordinates. The Rule is deduced from generalization of the Holmgreen's Uniqueness Theorem recently given by D. Tataru. Bibliography: 14 titles.