Hi Danko Georgiev I appreciate how you presented and contextualized these proofs. ! – SJ + – SJ + 23:28, 25 December 2023 (UTC)[reply]