==⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠== You can decompress Drawing data with the command palette: 'Decompress current Excalidraw file'. For more info check in plugin settings under 'Saving' # Excalidraw Data ## Text Elements ED UFD ^b9aKcx4N Existence ^NCPtIXzu Euclidean Valuation of Proper Divisor is Strictly Less + WO / Induction ^OrQcxCaU Uniqueness ^HnqOCXZM Euclid's Lemma ^Xth56YXK Bézout's Lemma ^HSrg39nN ## Embedded Files 2fa37df64d1b14c3e94828db279c0dfcf8b75a99: $\implies$ %% ## Drawing ```compressed-json N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBWbR4aOiCEfQQOKGZuAG1wMFAwYogSbggAaQQAIQARAGUAeQrSYgqAJQBBRtwAFQAGdoQASXi4FOLIWERywOwojmVgiZLM bmcAZgBGLe0tgDYAFn79nnj+Eph1nkON7QAOfY2ee62zi8gKEnVuY8PtACchy2x1O5wKkEkCEIymk3B2AIS8UO+3uAHZwZMINYluJUP0PhBmFBSGwANYIADCbHwbFI5QAxFsEMzmStIJpcNgycpSUIOMRqbT6RISdZmHBcIEsuyIAAzQj4fD1WDLCSCDyy4mkikAdW+km4fAhRJJ5IQKpgavQGrKhL5sI44RyaC2hLYkuwaiurv6BJNvOEcGGxBd qFyAF1CXLyBkQ9wOEIlYTCAKsOVcP1ZXyBU7mGGiljpniNhCAL6EsIIYhGv3xG5nQ73QmMFjsLhoHhAltMVicABynDEtf6XZ2L0OKeYtTSUGr3DlBDChM0wgFAFFghksmH8pNChCSsXynPMFB2SUyhJNADcBVsJhDv2IIeK4fC1ir+hKZpNABNEZiA2bAADF+gADXAgBHDgjBgbAoIAWXiC8pngPFsVIUkqFfD4D33SAvwgbBnH0foAEV1wAK32T oKAqQ5SF1MkeCgRC/wAVRA1DoHQjMsLYHD9zLCEoxNIQ4GIXA5xrV00Q2W59gBM4eBef0sSIDgyQTJN8EJWluXnNBF3wMICjfYoP1KWT0BvO8HyfWVj1FLBz0JNY0GcHh9n6QENnk/oDg2eI0UOVTCR9VAvJOBJ7niAF/MxEovmIH40A2fp/ibNF7nuQ56xBPLJxNKEYThNB8sJHFrXUkptXNIU6UZVkWSQFcuR5HNBRpJrRXIDgJSlTI3JNBUlU ta0iRpO0TXqvUDSNSszQpCaMNtGt7WER1nXhd1PW9eE/UJQMJJDXcxKxGNcDjGzE2TE1U2IdMJFwLZszXYg8zDO69NmhAjNQA57n6e4AQS4GezbTgjXuY0sVbPsOEHDhhzkgETi2Z4fKnGdghkhclwQFcPs3dJhu+3TCQkqT8bkhSNiUm50Yy/TU20tAfv0thDJskzlxNU9zwkddalQMXxYl1AuNF7NKF6VzyhFyXlel9Bo04KB6kIIwS32dWshA 67FUipKplczoiGUDt0DELImFlVsoHMAgLZha2IH0EhiGWQk9CyXBUyYeMJCqOomhaNouh6AYhlGcZ3VIGFUwIeWz0V0XlYl1XZVwIQoDYIZWB17gSSEImTU0hAAAloVhIXAaSeJzIuKznPQQh9GiNqTQR9t4Qhnve3bZHUd4BETg2BTmwetMPPQXBkhx2cAb58vPxsiA88QgBxKvCAqTRZTG5VVQwyQuQ0QItWWhB9VSw1XSWnULVP8p1vevxJC+ 3aTQ9LkDt9LVSA1U8RAIgHPZwWwgRJFeO8E0kVoq7BeOjMET8Go9RFOgBkfocFZnatyE6ApGqYOgP1Qa0oRpYhSmlQGDNATxG2HArEpU67cAUkkDYsNYGmyJP9Gy8VQp6wDHyYMoY8gXRKFdG6Ol7pYi6t/DmlMTSrn5MQUm25sjiKppJaSAMtjyUUujWGyk0Ssy0jI36GluYUl5oTJa0khBhggIgAUqZlBH0VIBcoPBFz+WIHKI4xAtiaBBNgDY CAgRcOIJoHgaIATYH6P47Acp7iaAxLgMGWp3B4j3JMN0h4tiiWbgUKyREfz/kAsBMCkEYJwQQshJyfEXoCSoO5dYDNEhY2UmOQ4YVkQRUOrsXKGIASokOECHgo44bJQWp2YEDxMqBXuM8es/R6zT2YbXcqvAzh7FGVAtZYMwqjiqosGqaCKTEOaq1Nk+DOofSuX1cUkoKEePGq/dU00NqzRvnfGh0yBA31Wm/L5H9tr5h/liP+XpYCHTASdUR51o yxi8Yo2Rl5Z4Zg2B/XMO00AfjQjMTs5ZKx8O4ACeI+w0TjkmZDRG8Idh0uHkOPEpxJ5nC2CDJeeMV52OUSTLc5MLHaJpnogxDNlLjP6ApMx7NUCcwrtY3lpk14lDgGwVMmi0C5OKDq4oQD9WHgkbqw8YAbhDMWVsZZKk1kvDwmALyuyoH7AOfFCZo4jWiX0qEKA1J9CexkNWAAChqmUaLLF1SiKQKA1RHpuOFSaTIxBY2uMWNwAlGBBVZGDugUOD RmitA6N0PogwRhjAvPKbmjj1i+StQCBEaJG2coyocNE0q8IQGULgcYj9DzykIJgYNob64/RJT8qUUBOgtKhLgW6SisRJqndhGdG8pTYVlEEVcFBlVmWKBZfCl4N79kpEGqAwxwJGCEI0ol6BBayggf5f4ykW3A32PFfooVipYgQewrY8V8p+lBl2YKhJqEP0BtS7Q1Kwb+UmQwkERxCQsO2ZVE0IDuCJAYWDN9RzngnC7BcqkGDrktVlJyAhXVHm 3rIS84abyT5WjWqCwjfzwMAtNM/YFnzNSbU/gowGe1/6wsAcdERZ0tGjRRTmhVn5MUvUODiz6eL5XzrqmS10XYAR5TrOx3u0NXT6KZQOFl3A4ogh4M8Xp3KEC01QKvYmqj1FCvDSK3RNl9H0yUuOUGX6SiaTlTJvzSrbEqsJHe4WmBCDEkyMOe0csFYRai3OFG3dLoay1sXdKQi0sGyNvgE2YXzaW3dsEOUlCSiO2dvgV2VsTwellH7KIgdSDSdU 5AOkScOApwS+gdckXospZznnAu4RtZ4lLqqyAlca5lXrkgpue6W4PQ3tgbe+hkkABkUQcG3hsAA+v2KCmg9v0CohxNE8cBZNPQHMBYuJ73rGRIkTGraqVUuWWiN9AyDO+XrG2+I+j6yog/QCUDszUDAl8q8VErw8oTPGUhrZ9dvJoj2Gs+IwMEqT2UqM05920BgLmkR4UJHWpkY6oQ7qJOnkDVozKaMioGOTXfix8H7GidcZtMxk0Dov7KfyVC/a wnAZHWEUGcT2rjXyik3O9FhE5Pz32Ip/jGa26lkmPugQ6mIf1uUiDWlg8obWygb5yAemkYmc7KpN96JRefmnMvEL/MsQqI3FmrVKm5ebx0bZjzhjjgZT/bKhNVieYExVcUyyy3yiNFIORB8lJcAcWvRhO9bTPL1jiPFI4+w2VxKOBsy48J2GTKgVa3PiUMRg/vmwyDTZOGUtL/oqBiPZtGiYSUdDBPCNUYgEyG5qWSjkfuao3vYpadDXp6NRnnOp o8Z+c/Vji0F/mlnyznnW0+cQt7YLoTkVOXwrE2IyXyLrqos9xG+XT057YjRMr5TgWtd6Pr8pIqRnrbeVNwwIexnBsGeWVascPWNZrZvZvyo5u7hTF7tTG5vCOKkpBsACJ9tsMHi5oqmHsZHykWD1hAOuEINgB4CEBwKgAAGoEBCDSTtioAAA6HAbAcoqAQapIiApAqAtQhAZgggrBtBUWqAKoic8w+WqAG2zoqAAA1KgLqI0LQZnJLAoDQcQZLMM AKPgU7NDHFhQKnPXLgfgYQdYKQeQZQZwAofQYwcwUwGwRwVFnSAobwfweYFAEISIfmOIZIdIYobIWLPITIUoSofMH3PrJrGNmwtlpIhrIbJ7PlhhoVmeDViVggGVg7EwE7O4HEXVpdliI1gHE6C1rLpfhAB1v4N1mnMLLoSQEQQYb4EYcQbQaYUwR6BYewZwTYTwcwHwSSA4U4aIRIVIT4Z4agN4R4eLMocQKoQEWhsNoXMEWgBNmYtXEjvCI3JH geoRCtqRBRNRLRPRIxMxKxOxFxCnvxOuunoDPog8KpJjJynFKMvEO2vAodHcLnk2CiLDP5PWplNXv8v5ICN5AcEcMpADlAjwshsjjcNoLnqpOjNSrDKFJPHjucivpcsRhIP3qRncpTmPjRpPuVpAMfGvtzliETkvp2IRvifPnIpvvxgLiUNCgAiLofuLsfuGFLlIufo/qUArtiACPftvqgKrtdjwGOoSdrmFKiAwpwoXmbj/tbJwhsO/iPHiJMhZ kcP0EgexlFrjDZjupNhAK7mopASHiUDAb7vAQlLcHFGAv5oaVNsFuHs7mqsOruIeHqmAAaq6UanhC6V5N8cpC6k8QCQiKbMUI6v8BCV2B+larErcOrpMBGF6hXD6n6gGjJCGpqtaaaBOimo4Gmvin2mkBojmhAFRAAFLby1C6hGBQQ8AbYUCpQkEgQVDbwwCUjYBdgVpyhVphi+QvCCLYbUqAl/pUodpdo9oCZ9oKiDrECplhoX5CklBJpZnxq5n 7iZpkzZobx5rhyFpRwlqxzlododnYDVoE7aDbAjJIFxLSo3HUqm6QAjlsKnk7AghabxCvkHBtpynjkDpDppnhpzmAoTpLqCQrrpmLrTohCrotIbr4BbranLGlIbxVwcBQSNCUjgQABaiEhxLkacJxmwiIYMoM+eGOyIfoX29xnkwU2gvSPkwUqI/ksGPCYG8I6MgItwkSpwb6kZwJCxFUPCXe+IUGwGlKxwOwjwSBVqPeyJWCLUtyyiFOlG0lpCz y2J9GZJM0hJvybOpJHyXO5JJQvOVJgmMK++duJQCKEuzJp+0iaBsm1+GYnQPJUB+RVYNkk8wMfoiBoRUpRubCay8pluqAwU7xqIdqD0DuPKTuOpepTmO46ZxpYqnmCUqytwqBF+XMGBdmWBR4OBHEHAhAUEZc38GhWh5QeVBVRVO0gRGWusgRERxs0RAsRWbs5QpWOJ3+0aVWaRoo9WvsGs2RQceRCcnWxR2h5VhVmQVVEx+cUxmWqAsxFcgcM2r CroSxi2JS0eEgJZZZFZVZNZdZDZTZLZbZYW12EAt26GeFuy4yr56yn+oUJwkpEAploZBeLxFmcSnKX+zF6U7Cr5xyjapw9aPFberouUewKI+ecGn6T1AlhON8veqJZO6Jil1O1GKlryDO7yjGIK+lgKi+2liJL8ON3GGlBllJ/OxldJB+omjJSKkmZ+rWXuj0z0881QTl6afaau/5vCz+Pkjwo4bw7+Ron2AVf+vAo4qpwUqkYCGpjudp0VAqa5H ueqBKqx5QJEZElENEdEDETELEbEnE3E9qvEN6mE66uE74pqptqeCsJtRE4E6glKf44EFQL4wkeEat1k5QVcjQuo6FjQmA7Q6FIEe2VgVElIhAMA8QHAtQHAyeJtbc5tgk7tGu8ZWICV7mppdFjw7GVptlQWmVq88Fm16Ajtkgztrt2Ft6dtJoc8BwewjaGO72GOqk7G++n2HCsMvSvpFeVmJoP1vAAOSQIOLwDC1qNwINK1EO/FZyoCUlaNfeslg +HIClDySl4+5CdGWNTOTGeNHG5oxJvAOlJNelZNkAhllNv8QuplDJp0TJkY1lbJbWHJ9lL0lIHNBdT+NkDYVKPAIIYC5ucBpihuiMCp3AaI3ktxk8TYIB2pDmbuytzlrmJpSVCkkyqVi15iX9EABkNiCtMR2heBBBJAAA5G0SIf6rgLLJoTgcQx4OQ8IekJ3EfOltMUFd5ZWrlpEQVk1bEcVhrcNPbJDCkS7AIxIJ7MQN7CvcRP1c1oWdteWZWdW bWVAPWY2c2a2dycNUUfgKVaUSQ8QIw5Qyw1VJMaNnNQtRpEtbxQ3GcCXevD7X7QHUHSHWHbgBHVHTHXHQnVdmbWuinScZjPcEkG+k8K3S8fFN9hDmsuCU8JA4gReS6p+VQmzjAnEjBh9ZPEDV/iCQyr5NCRSjlJyqMl5vCfPUTYjcveThRuvYvZvXTu1XibpXPufQffNDXiSUTepd8hSXxlfbviZXCrTfffTZdDLumSzTfrgLUJ/XyVzQKTza5XA ZDU8BSpw0A66E8GLaPLngXhjkLeFZqaAdlRyErRosg+JD7olYYgzKpHCVgwFi/Xg/AyaOqpqk6fuC6W6f0B6c6aal5Ok2DAlFk3c92ACzsAU3WiFK8KqbnvWp6rGd6sSEmWoCmcOumcSJmXGjmelYmgKIubixmvmcNAo6WUo3tao+o0dVo+2Z2dwL5JlD5CiMFFasDBiE2Ihn2veZ2HsJPG8NsCFGcHFDcAed+VORi3+RrvYtGkBRQCBTg2BcuhB UcYE4mjBYJHBetVHo4xIMWaQHtggMoPsBwDwPgIhBUJSH+GwP2JgMoFXMoMQMWdXedQgPMJdXXesFAqeaMt5CDFas6uRd+r8H+toIFOjAlFplpkcJjJ8eBgpE+iFMFLcU2LcSDJw3k66L+tLQDs8LEgDts2hnPQywvb1DJQPjUyPkQhvViZjdPtjczgSZGgTZ08fd0y0+vn0+CmGNSe1jfcM2LqMxJuM4zUNTPG/fPOuHM/yTejGWAJrrzTZN3UB plF/ps7QikxVtKeA1logX+us3A1FQg/qUg3kFbQRDbSeLXRe0RFXPUKQMoIgUjKnXuunUadc1nUlbcUpMAY8+mS81FQ44ej7fe4+wCM+6dWbWnp666P8ADnlPB2ytKo2iA8G3xYiM3dBlxRZmDExWzo2nsLEjjqiFXiVLY6hliHDaWyQkjXJS7mvaPjWxjdvfW7vbjW00SYTZpZxh202xfRTbyb2wUf2yJoO4isO5IhMzg1MxmMbRvqovxuycs3J NKvlCFJSsLXMjs3iPWkR7A0c/LZgaFuAYgxc/FR+3AV+3+rcJaWzP+7aUZ/aWbCUegNUAAJdGDCBQDGPMPUMlU4Hueed5w+dUOsNZA1UhF1V5a8PYH8MtUSC2xzj0giNdXiPoCSPSMNZyM5GFn6uGvGumvmuWvWu2v2uOvOs6PJx6MBcedechemPTUjZFzjakBlxzHLXbLzZAfq0SCdByjMDgQUBQCHB/guvQdYgQIodhv1q56hSjK+mg4UUQ6cr 0KxIvC26QMfED1s4Y5IhQL+TNqxJB5keg0z3lMYYJAKToy9I5QZSTzo7Uek50dD4MfVv1O1sseXQz68f72cetvs5Ao/dtOX2CdU3C401ieWWP0M02V4t2Ws3YgoS8a4q8lKfa76I0VxLyS6bSkrPafwgwt/rUpcoGeRUlyteK0QGns4OZ2WeGKTKcLgvWPYNw+F34OOc6nhboBSHyEjFjHqE87xYucQA8+oB8/+EC85ZBFzUMxRc8ONWxeTppe4M JHtWVapHK/5wZElBZHyNjtQqJy6P6Pc+NC89+FqFcBmMzUWMtdtdYPzGnddfasrHe0SAbYkEbBsC9DxSIQUDFmEB/joxUTgSNCOBURvSQcYQBOtIwdRRvC7BPBrKhSPCvm56vDROQJglnAuoeb1j5Rw5xtsJvCNyAHyToxdjAxT3bIKSo5WpzcUq5SwuLeUfFvd6VNKW0cyPD4YlMcT51tfcNt70cdaX/cn2Nv70g89tg+30jPicn4w/P3M2cm4D 3DTsLM3qCnSt/QAy6e3GvmiugN9ydiAPbuBWTITL795SHvk928u7nPOas+QC090z09SoEZ/s4MAcENvOOlntfOmo/M/m//AiIwhL55Qy+o4LTP5VNQ189g6IcZA31yglNEWxQKXPgETIGBkyP5GckpyjQxocW7iZcgundyFlNyBaSOMWhjhlpteYRI8l2VCaZRlIIIN1N5AyiocsQPLMciuQnLYCR0ukHmguQIGYs8BcrBVo/wwAChRBKrZpMcXV awVAOzvBCuUEpDVA8AFAfsPsFmaR8r2uFWPiFERAvB/iILZBKiGiZIC9ggJTluEzijfVwcIIH1sC0Z5vVEoreaehR07yt98Qj3FEtUxRp1My2ylPvp90kTfdT6rTXps20PpcdIhK0IHhEP479NQe19PfAOw4FH4xmknUdpM2X7bw5maPPRC6gxySotu8MXHulHx5oBQoGIWGJjHVIRUtSNkKxkPnv5xUaeFnF/hKlWSTJbOLPdkl/w56ENygNDY3 hADC7S9aqo0cItFwV45U4utWCQG1SSKdUNe8XW9L1RNC68cu+vGkobyq4jChs1vZrjfx1LTZbGTveduAAujYg4AcAFULok5pHgoQGQVqm3guAMBCACACgNUFe5U4AhDIOUACMBErBiIIgChMMDnD6B+C6CRep32BFHksIpLCEd8NqaMd3uzHKfDr1BGIj0gIEUIePzJogiER2aCEVCI6b/I3h8IsESSMB5hDO2kASkdiP0DtABOU/AoISKpHpBGg InekhSKxHEicRUw+XmgCSjsjGRIENhjL1CKij+R+gLQt1XQCLDeRRIs9NSMArgVZ0hpaUSqPSDrhJB6oyCrIMxHKjwR6QOVr0DOpdRgRzAbAKSCVDgR4QXFKDKRTfRrID81JIkDaJpD4BRuaAFBFBipSQNhWjwMvG8M84GAHhFWcgqAmooMJ9gyxLUSaKZEfR+M51D6MCN5AkAIux/N4RmOIAqgEAo5EUbmMQhsAnouo3AJoGCBHs2RuYqjFZGqA 0gN4D7TkAAAp/6piMeB2PbHUBBK8QAAJSyghgygJMFKFmDKBWxFmAkLwBZjTipxv2AcfGIZHhcb4XIi3pc0yEZAhgaYROES3xYViqxxw32EQFHJNDIAXWZ4TMQp7ug84lcY4fGLsBUQ3W2QeoF1jgAliyxXWSsa807z+FGAvQNgDSAjGEo1oaQCXpbw2GOJ84so67H0Ic5ZVjOGkH1J0F/EIB/xgEqVhcPnb8B+0wQAsCJDLBAA= ``` %%