User:Barto/Hensel's Lemma

Draft work, to be placed at Hensel's Lemma some time. Given the number of different versions, we have to think how to structure them: transcluded subpages? Entirely distinct pages?