{"entities":{"Q1588404":{"pageid":1599144,"ns":120,"title":"Item:Q1588404","lastrevid":68029434,"modified":"2026-04-12T20:57:46Z","type":"item","id":"Q1588404","labels":{"en":{"language":"en","value":"A general Hensel's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1539387"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$FDB5706D-63A6-4797-9CEC-3483C442B5A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e915f31990c062a1d0bec79c40d5154efc1107b0","datavalue":{"value":{"text":"A general Hensel's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1588404$C8FEB547-8EA7-4248-B866-6772D438EB38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b959127f0778ba9402252732afc65a28a5122d2","datavalue":{"value":"0994.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$3518B347-1BF8-4909-B429-49A606D4C546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$A2720673-BFC4-440F-B75D-6975F29E84CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f8512fdc779578a6ed7cea489dd7591a33e2b50","datavalue":{"value":{"time":"+2002-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1588404$E2DE2D5B-344B-4CAE-90B6-502934B7D56C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee8737cba54b4941e78725231fff8aa152ee2a66","datavalue":{"value":"Hensel's lemma is equivalent to a statement on the lifting of roots of a polynomial in one variable from the residue field to the original valued field. The authors prove a very general form of this version of Hensel's lemma for several polynomials in several variables over a ``semi-valued'' ring. The proof uses Newton's method (in a simplified form) for finding roots of functions and is based on a fixed point theorem for spherically complete ultrametric spaces. Several applications of this general form of Hensel's lemma are given in more special situations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588404$C603F8A2-92D6-4E2B-8567-2DBBE36DF68C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36bf9d9a6954a5c43151966dcb9f2e8d7b6b8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":174927,"id":"Q174927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$CD8A1D91-8950-423D-B68B-6E24A800CA31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4f913a75c61668decaed701ae5192d432188bf","datavalue":{"value":"13J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$21BF61C0-177A-457F-B872-199AB22ED7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$166BFD38-4AA5-4700-B405-BF95C2B0404C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"632cdca9676f9e4d539a18a99211b9be0df206af","datavalue":{"value":"1539387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$13FE4C0B-128D-4D92-BBEF-10C6CD7AE613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4361ebf68395e73f1b5b6005e9eaac9df10472eb","datavalue":{"value":"Hensel's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588404$00B6A1F1-3780-4185-BAC3-81754B354170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5043b034062691b40559a1d4b91cf939ff5ac68","datavalue":{"value":{"entity-type":"item","numeric-id":457148,"id":"Q457148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$0B27A70D-3F12-4D64-91D5-DBDC3E43D17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04ecf89bed7b01d271a5bbfc62aa70a046333b2a","datavalue":{"value":{"entity-type":"item","numeric-id":179481,"id":"Q179481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$34893A4F-FA7C-4E6B-A293-485DB8B3EBD0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$6254DBC8-14CD-48BF-AFE3-7FD1543779CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a6a1d85b0c7aa6be30ed9309315b3edd0224d6","datavalue":{"value":"https://doi.org/10.1006/jabr.2000.8401","type":"string"},"datatype":"url"},"type":"statement","id":"Q1588404$7A65D7C9-3C8B-42F9-B8ED-9CCEA2C34B06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f23e4d873d6da77b11d9ed5b802c77a89519fb9","datavalue":{"value":"W2041698328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$8C366771-AEBE-496E-9E53-140890D3AF63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"16ddc2ab56271ff7483d95e1df5a91e360a8a3b3","datavalue":{"value":"Q124881276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$2787D6D5-FEAC-4BC2-A730-2C5F84B28F48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"646445c852cc6184e74949a18b1edbe8813ee4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3843687,"id":"Q3843687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$9F6A4320-BF69-488D-BFB0-80A17D567B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98a8389eb2eabe235a284c9e2b5a5b906a62610","datavalue":{"value":{"entity-type":"item","numeric-id":4040891,"id":"Q4040891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$812608A9-64BC-462D-AB89-07765C619F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1fc4e5fba249435630db22bffff73e6d5355a6","datavalue":{"value":{"entity-type":"item","numeric-id":4372400,"id":"Q4372400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$C79737AB-F550-4947-B578-47D98D3C5876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ef52deb5fde565484ddea6baa28b9bb2d222a1","datavalue":{"value":{"entity-type":"item","numeric-id":5593888,"id":"Q5593888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$99A55BFE-638A-41F0-BAC1-23D049396EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64e77a630b8af1c46f06b67a254f5adb7285ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5577214,"id":"Q5577214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$6CE2FA2F-38FE-43C9-92A2-12D7F3C6ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e1a963b81a38440f26d8ed5134205b745b5b06","datavalue":{"value":{"entity-type":"item","numeric-id":4256224,"id":"Q4256224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$22C1DEED-8C3C-4605-A1F0-DF20101A95F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df63c1512c0cf1de1ecf3e85afc99d718bc6256","datavalue":{"value":{"entity-type":"item","numeric-id":2555896,"id":"Q2555896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$5C128045-6EEE-4235-8838-50071F850CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbfe039eba84a1b5b43cadb9800ecc04dd3a70d","datavalue":{"value":{"entity-type":"item","numeric-id":2653240,"id":"Q2653240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$76B6EF48-9E84-4B05-9BA6-AA6D55C2D927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6604ec8953cee30ba02c1aa30fab47460d2fda","datavalue":{"value":{"entity-type":"item","numeric-id":5332667,"id":"Q5332667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$32AE317B-AA09-47A0-A63B-5AC01EFF3007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7731c7277f1fb5d4c786e49968328158437b8b14","datavalue":{"value":{"entity-type":"item","numeric-id":5819518,"id":"Q5819518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$B287644E-0CA2-4859-8053-38486FFB9432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabc63321712e96153ecf739125ac69c2333fdad","datavalue":{"value":{"entity-type":"item","numeric-id":5830695,"id":"Q5830695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$99DE926F-CCDD-4601-9643-EDFDCA84721B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04b9fc501082f54a4347cebaaa8fefaef1cd67b","datavalue":{"value":{"entity-type":"item","numeric-id":1313465,"id":"Q1313465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$637DCB3A-9769-4849-84A8-AFB290619FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84e23b9478f1d9afdf3249c8b677fb80c942a96","datavalue":{"value":{"entity-type":"item","numeric-id":1349453,"id":"Q1349453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$262917D7-E287-4231-8DAE-3348717FE26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa69f64c402cb5c94ab633692f74b2fcb19da5c","datavalue":{"value":{"entity-type":"item","numeric-id":1378230,"id":"Q1378230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$38DDA52A-DF5D-4E9F-AC01-A81A8E5C11B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00e79052121935fdcfb50aeef591e6c04b41e13","datavalue":{"value":{"entity-type":"item","numeric-id":1922121,"id":"Q1922121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588404$67407254-6A3F-4E41-B4D1-28CBEADC7654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85f1a18bdda606f8d62a80f4115395eea9c48103","datavalue":{"value":"10.1006/JABR.2000.8401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588404$3ED1552B-0957-40BB-B506-F0C1180CB752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aeb1beb6c6f028119c4819f7b9716ba351fc3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4440909,"id":"Q4440909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df677f00f952b575942039dcd1518f8bf661787","datavalue":{"value":{"amount":"+0.9868213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$FC9540A5-692E-41A6-A69A-1FBEF4DA9128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9b58b9500cc15cc7ab5cd21398703fa6755584","datavalue":{"value":{"entity-type":"item","numeric-id":4296575,"id":"Q4296575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ba4fdf2f18fab438437a850170e490348b0e80","datavalue":{"value":{"amount":"+0.9868212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$51FDA84B-4D55-443A-842E-14D0A826D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a9006fa6b64d55e83b760f503ba7a8ef9ea918","datavalue":{"value":{"entity-type":"item","numeric-id":1281117,"id":"Q1281117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ba4fdf2f18fab438437a850170e490348b0e80","datavalue":{"value":{"amount":"+0.9868212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$1F360026-90F7-443D-9358-7DE1F01AD6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7656ba11442c7ecf0629f041f4d9a7d0b33632a1","datavalue":{"value":{"entity-type":"item","numeric-id":4487690,"id":"Q4487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dddc0b632c051c130f53c0394031fa5a577a50e","datavalue":{"value":{"amount":"+0.98086774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$5A6A2E7E-B75C-4DB6-ACB7-91641E7FEABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8673698cfb2c11b03444acb0af8ded5c29f47fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4797291,"id":"Q4797291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26865f4b377fe6ee03ed7f3a749fcb418a58ef33","datavalue":{"value":{"amount":"+0.9279143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$D10E0BB6-6742-4EE9-9453-EC0EE2EC8499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55ec0c03c0bb4e04d69eb278824c5837b5abcef","datavalue":{"value":{"entity-type":"item","numeric-id":1011011,"id":"Q1011011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72e21c0e55210162d656454b0e7c5b2f181e159","datavalue":{"value":{"amount":"+0.9261668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$9CBA9ED9-BCDA-4427-979F-C88F949DB7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ce5ccf44b57714f39c2fe9133b1d19735ec88b","datavalue":{"value":{"entity-type":"item","numeric-id":4533241,"id":"Q4533241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9f9416b08eeac93736419347960f01041f956f","datavalue":{"value":{"amount":"+0.91749185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$04CE1423-9BDB-489F-93C8-3E811CB15180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b7d1d357ea26e834a26e791695844b9391ca34","datavalue":{"value":{"entity-type":"item","numeric-id":4528064,"id":"Q4528064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595874a7b34111213d37a9b6a769f8c26abe1d32","datavalue":{"value":{"amount":"+0.91587347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$76FDDA8F-288E-4C32-9D4F-E0019EC2142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c61991fd3a8aa1e2f39e492a836a660f84ab08","datavalue":{"value":{"entity-type":"item","numeric-id":5770042,"id":"Q5770042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc93d589943b7e9409537c5b4b7660e5d64772c","datavalue":{"value":{"amount":"+0.91236454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$6FD0D72C-F4DA-43FF-95B5-F5D43D4DCE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54e291f4236a8522d7a2636d8363fc2977d4bef","datavalue":{"value":{"entity-type":"item","numeric-id":5047222,"id":"Q5047222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2027be56732b8375d07e43176817f7a79d8982","datavalue":{"value":{"amount":"+0.9113531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1588404$C664A9C2-AD2A-4E4E-BC87-E1FCA22A063B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general Hensel's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_Hensel%27s_lemma"}}}}}