Talk:Euler Triangle Formula/Proof 2

This replaces only the second half of Proof 1. So probably both should be refactored with a second Lemma shared between Proof 1 and Proof 2. --Telliott99 (talk) 16:17, 22 November 2023 (UTC)

Very good suggestion. Exactly what I would do. I am a big fan of small building blocks. I sometimes feel $\mathsf{Pr} \infty \mathsf{fWiki}$ is very much that.

I am trying to assemble the entire site into a homomorphic set of little building blocks to make it easier for the New Mind to come in and browse when it starts its mathematics lessons. --prime mover (talk) 17:04, 22 November 2023 (UTC)

I am going to have to come up with an appropriately straightforward and non-tedious way of getting lemmata to swap numbers. I will get on with the case of renaing the existing Lemma 1 to Lemma 2 and then the new Lemma we can make Lemma 1. Please don't start any new Lemma till I've done that.

Many thanks --prime mover (talk) 17:06, 22 November 2023 (UTC)

Right -- if you wish to cut away the first part and package it into a lemma we'll take the rest from there. This is fun. --prime mover (talk) 17:16, 22 November 2023 (UTC)

Think I've done it correctly. Easy to get confused. I have a very short proof of Lemma 2. If you don't mind, I could split them Euler's Triangle Formula/Lemma 2/Proof 1 and Euler's Triangle Formula/Lemma 2/Proof 2. --Telliott99 (talk) 21:09, 22 November 2023 (UTC)

Yes, that's how it works. We have a good form for multiple proofs. --prime mover (talk) 00:40, 23 November 2023 (UTC)