I find the tag [tag:hensels-lemma] unnecessary, but if one wants to keep it then at least keep it as `hensel-lemma`.