{"entities":{"Q1936632":{"pageid":1947374,"ns":120,"title":"Item:Q1936632","lastrevid":73060362,"modified":"2026-04-14T10:04:23Z","type":"item","id":"Q1936632","labels":{"en":{"language":"en","value":"An effective matrix lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6134710"}},"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":"Q1936632$854A4FDB-818C-425B-B63F-13665B25F8F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6e716238a77ffb57013a19340eb8b271cd65c16","datavalue":{"value":{"text":"An effective matrix lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936632$AABBE324-3A4F-47F5-821A-E18A43C908C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d9e72ad5d98af7ef2d2bfb6243eaee0b012443","datavalue":{"value":"1259.14025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$E2244CE4-70FB-4846-B462-9F996C5E69B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"536dce616ddb5a0f91a033696dcc7494004573b2","datavalue":{"value":{"entity-type":"item","numeric-id":231815,"id":"Q231815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$DF5D78E6-B5A9-44FB-A9AE-AD4DAC393071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$3F98CEA4-6B4E-4B26-A1F3-FF89867730B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"171e18795f96bc69f12af80bb5197ba5c991f412","datavalue":{"value":{"time":"+2013-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936632$2EAB75A9-AC15-4974-9843-ABB1731F3E53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70a6cd674239136e08fc02952b839540ba2f1ad6","datavalue":{"value":"Masser's matrix lemma gives a lower bound of the height of an abelian variety in terms of its period lattices. Precisely, let \\((A;L)\\) be a principally polarized abelian variety of dimension \\(g\\) defined over a number field \\(K\\) and let \\(\\kappa_1\\) be the constant \\(\\frac{1}{2}\\ln\\frac{2\\pi^3e}{3}\\). Set \\(\\rho_\\sigma=\\min(\\rho(A_\\sigma;L_\\sigma),\\sqrt{\\frac{\\pi}{3g}})\\) where \\(\\sigma\\in G_K:=\\Hom (K,\\mathbb{C})\\) and \\(\\rho(A_\\sigma;L_\\sigma)\\) is the injectivity diameter (i.e., the first minimum of period lattice) associated to a principally polarized complex abelian variety. Then one has the inequality  \\[ h_{\\text{Fa}}(A)+\\kappa_1g\\geq\\frac{1}{[K:\\mathbb{Q}]}\\sum_{\\sigma\\in G_K}(\\frac{\\pi}{6\\rho_\\sigma^2}+g\\ln(\\rho_\\sigma\\sqrt{g})). \\]   The purpose of the paper under review is to give an almost optimal effective proof of Masser's matrix lemma. The main result can be described as follows. To a principally polarized complex abelian variety \\((A;L)\\), the author fixes a Haar measure \\(v_1\\) of volume \\(1\\) on \\(A(\\mathbb{C})\\) and chooses an invertible sheaf \\(\\mathcal{L}\\) defining \\(L\\), a cubic metric \\(\\|\\cdot\\|\\) on \\(\\mathcal{L}\\) and a nonzero section \\(s\\) of \\(\\mathcal{L}\\). Then the integral  \\[ I(A;L)=-\\int_{A(\\mathcal{C})}\\ln\\|s\\|{\\text{d}}v_1+\\frac{1}{2}\\ln\\int_{A(\\mathcal{C})}\\|s\\|^2{\\text{d}}v_1 \\]  is real and independent of the choice of \\((\\mathcal{L};\\|\\cdot\\|;s)\\). Let \\(\\rho=\\min(\\rho(A;L),\\sqrt{\\frac{\\pi}{3g}})\\), the author showed that  \\[ I(A;L)\\geq\\frac{\\pi}{12\\rho^2}+\\frac{g}{2}\\ln\\rho+\\frac{g}{4}\\ln\\frac{3g}{\\pi e}. \\]  This result combined with the following inequality  \\[ h_{\\text{Fa}}(A)\\geq-\\frac{g}{2}\\ln(2\\pi^2)+\\frac{2}{[K:\\mathbb{Q}]}\\sum_{\\sigma\\in G_K}I(A_\\sigma;L_\\sigma), \\]  which is due to J.-B. Bost, implies Masser's matrix lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936632$02BC8D4B-A03F-4AD2-B868-0902C555B63A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5159c65aef1b7f79d2e76e6c03955b32eb9af831","datavalue":{"value":{"entity-type":"item","numeric-id":470879,"id":"Q470879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$66C58F21-A869-4B94-815C-5F3C14E380BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$AA4F9E1B-A1F9-409B-B316-DDBCB3FE2E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0e571948abe35cc76c07fcb2a2c873909d083ab","datavalue":{"value":"11G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$63C34130-EC4E-4EF5-A5A2-F3A96093A18D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74219e077f7fd25fd0bfb0a12cb7cc196b17b453","datavalue":{"value":"6134710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$B47CA1B3-3114-42EB-9915-0923179FE186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936632$3A3662C0-97B3-4F90-93A7-237ACCB3367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36e8b76c45aca381cf229d36f2379bb7074a832","datavalue":{"value":"Faltings height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936632$33B0F2A0-C63A-4966-8A5E-ADDE7DD46F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10f466e1fc4c17d67d3b3c3aa17dc3a5cc4dd5a","datavalue":{"value":"period lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936632$7579F462-CD1E-4F0E-8442-3D69AC3614D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7a81101051464d5e876ac7fb3418a688319a79","datavalue":{"value":"Masser's matrix lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936632$A4BE88C2-2623-4ED7-9F95-D03B87AF4886","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":"Q1936632$9B232BE1-F109-46E6-8694-6282E11F486B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a4167ee50473fd37143a8f816cb85fab1f5adc5","datavalue":{"value":"https://doi.org/10.1007/s00209-012-1008-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936632$48639A66-A72E-4B99-BDE1-7E10E8F98DA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd611c4c47d77dc1708c023023350b80f69e7978","datavalue":{"value":"W2017361216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$198FCEAB-392F-4253-94FD-77C6B90BCB17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"867c0efe0e3a2ba88488a78febffd2b90ea968a4","datavalue":{"value":{"entity-type":"item","numeric-id":4830002,"id":"Q4830002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$615E880C-2D8E-40B6-B5B1-6BF8F46CED6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b3106294e10f8609234239fe60dc32b51b870b","datavalue":{"value":{"entity-type":"item","numeric-id":1919614,"id":"Q1919614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$B80F2E72-32B2-4138-B779-C40B269915E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d2f9cbc89efd050836f301ba7ba5ee04ac63d3","datavalue":{"value":{"entity-type":"item","numeric-id":1864136,"id":"Q1864136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$563AF139-9F8B-4BCE-B2FB-30A0F601BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7b3236c9f607f89c0b53b9c696f50b9994edfd","datavalue":{"value":{"entity-type":"item","numeric-id":802613,"id":"Q802613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$BD55E3CF-C606-4D7E-8225-FC8CCB2EFD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e616c91fadd1d24e69ee853580e008f407183f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3428588,"id":"Q3428588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$EF08ED74-2E18-4AEB-ACFC-1A21E69B4D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"168f267cca70362c2746fbdc2721b3b3a750df44","datavalue":{"value":{"entity-type":"item","numeric-id":1847792,"id":"Q1847792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$9C54BB1B-1C74-43BD-AF01-060318AAB6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac658410b7038aa989cf8d14543a6f5c6e91ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3781218,"id":"Q3781218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$D4508317-0806-44A6-92CC-6298B88DDB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94922bc86cf2df915162c7c9b3c9869379ac6990","datavalue":{"value":{"entity-type":"item","numeric-id":2366460,"id":"Q2366460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$07203B8C-AD7A-4AB2-9594-4F05296B8655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6506fc507d85043856402993a72a35b91dc718","datavalue":{"value":{"entity-type":"item","numeric-id":3351520,"id":"Q3351520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936632$18A31B65-B750-497C-871B-B958ED77D685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0412cd2e2cb2137f112dadc1d6316aa1a884b057","datavalue":{"value":"10.1007/S00209-012-1008-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936632$951920D8-EB8B-40F5-803D-9BA2624EDD4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820bf1db65745a3e51d51cc2ff4d8de336b57442","datavalue":{"value":{"entity-type":"item","numeric-id":3726756,"id":"Q3726756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26df68fa5b54accc52ea247a9866c5de7bad6816","datavalue":{"value":{"amount":"+0.90609205","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":"Q1936632$ACAFC9C0-87D0-414C-92E6-0503554FC031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c278d1d484310e8c5b8921370194e3b14eaadff5","datavalue":{"value":{"entity-type":"item","numeric-id":3145444,"id":"Q3145444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e4336574b09f87edfc9ca7ae8841c64b547541","datavalue":{"value":{"amount":"+0.88299227","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":"Q1936632$DE8A2479-D6B3-4188-ADD1-0A2F2A7969A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835a7cce8f6100d7f8ab623407c2e11567af1f84","datavalue":{"value":{"entity-type":"item","numeric-id":4716296,"id":"Q4716296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a5c555a19eb86f910f2db66f33df5dff74597c","datavalue":{"value":{"amount":"+0.88185334","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":"Q1936632$538E67A5-F21C-47BF-9B3B-0EF3E68709CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db46eb7850afe6167c470b717531b40bd69a4640","datavalue":{"value":{"entity-type":"item","numeric-id":3691864,"id":"Q3691864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3464d3e75669dabd27bdfe20fb3ce63ff7b688d3","datavalue":{"value":{"amount":"+0.87792206","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":"Q1936632$982FABB8-6652-4EA4-9DEA-497B9780EF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30170ee3ef3a3e65d981e88322cc7622408e3670","datavalue":{"value":{"entity-type":"item","numeric-id":3151987,"id":"Q3151987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e2bb60fee9e5516bdb80532c18b160cde66737","datavalue":{"value":{"amount":"+0.8712642","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":"Q1936632$A5512C8B-86C6-4ABA-A2F3-F87860CC7A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0d5307d3fa3769ac84cb23a01960759c86798f","datavalue":{"value":{"entity-type":"item","numeric-id":5383233,"id":"Q5383233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d945307c81b22931e1fdf55b864c37b146e4b30a","datavalue":{"value":{"amount":"+0.8701204","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":"Q1936632$F8F0A626-D356-4E0A-96BB-093364A932F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cef82494683573de99ebc751be74fbcc0d6874","datavalue":{"value":{"entity-type":"item","numeric-id":4502568,"id":"Q4502568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd6ead93f49804a010b9da2d83f53dc41c9cdfa","datavalue":{"value":{"amount":"+0.86922544","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":"Q1936632$A65E7CBA-381D-4232-BCC5-37D4CA050B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d67ca344e1d436ca000e13eefdfe05ba949709","datavalue":{"value":{"entity-type":"item","numeric-id":3198245,"id":"Q3198245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f09dbb0d2b3a292b584ee1e5473b1c7cb24058","datavalue":{"value":{"amount":"+0.86574936","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":"Q1936632$85DEB4B6-BC20-493B-A6E5-E38832721C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0094d64759cee297f7a999516d6df7190a2b529e","datavalue":{"value":{"entity-type":"item","numeric-id":1946577,"id":"Q1946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a076d034e5919d1a4c539562c5f910fa8863ad4a","datavalue":{"value":{"amount":"+0.86551577","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":"Q1936632$23ED24B1-EC0A-4FC6-B2ED-57C27F9B388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8e71518fe29bb7f29c575b75aa0ad5c6555dc0","datavalue":{"value":{"entity-type":"item","numeric-id":5002628,"id":"Q5002628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f465ee947cd48daae7094dd554dd65e8fc1db6e4","datavalue":{"value":{"amount":"+0.8651427","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":"Q1936632$20BB51CA-110F-47D2-8BA0-AD4F496536B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective matrix lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_effective_matrix_lemma"}}}}}