::::::Beste Wim, om teleurstelling te voorkomen wil ik wel opmerken dat op wikipedia op dit moment al een keurig bewijs voor de stelling wordt gegeven.
::::::In de beginstap van jouw inductiebewijs (A=2) heb ik geen fout kunnen ontdekken! Knap gevonden.
== Melding links naar doorverwijspagina's ==
::::::In de vervolgstap ga je uit van correctheid voor A. Gebruikelijk bij inductie is dan dat daaruit correctheid voor A+1 wordt afgeleid, maar het lijkt erop dat jij iets anders doet. Groeten, [[Gebruiker:Bob.v.R|Bob.v.R]] ([[Overleg gebruiker:Bob.v.R#top|overleg]]) 24 dec 2021 12:59 (CET)
Beste Bob.v.R, bedankt voor uw recente bewerkingen. Een [[Wikipedia:Bots|bot]] heeft geconstateerd dat u hierbij een of meerdere links naar [[Wikipedia:Doorverwijspagina|doorverwijspagina's]] toegevoegd heeft. Meestal gebeurt dit onbedoeld. Het gaat om het volgende artikel:
* Het artikel [[Bruno Laurent]] bevat een [[Help:Gebruik van links|link]] naar de doorverwijspagina [[Heraklion]].
Het streven is om dergelijke links tot een minimum te beperken: zie [[Wikipedia:Links naar doorverwijspagina's]]. Uw hulp is welkom bij het oplossen van deze en andere links. Om links naar doorverwijspagina's een aparte kleur te geven, kunt u de code <code>.mw-disambig { color: #FF0066 }</code> (of een andere [[Lijst van HTML-kleuren|html-kleur]]) toevoegen aan [[Speciaal:MyPage/common.css|uw common.css]]. Zie hiervoor ook [[Wikipedia:Scriptbibliotheek#Zichtbaar maken doorverwijskoppelingen]].
Om deze berichten voortaan niet meer te ontvangen, kunt u {{tl|bots|<nowiki>deny=Dpmelderbot</nowiki>}} op uw overlegpagina plaatsen. [[Gebruiker:Dpmelderbot|Dpmelderbot]] ([[Overleg gebruiker:Dpmelderbot|overleg]]) 24 dec 2021 11:32 (CET)
