[reginaldo]

For the initiated, this is SICP[1] Exercise 1.19. That exercise walks you through a proof without explicitly using linear algebra. I remember having a blast solving this back in the day.

[1] https://web.mit.edu/6.001/6.037/sicp.pdf => page 61

[abhi9u]

I just read the exercise. That's very clever.

Makes me want to sit and go through the book.

[reginaldo]

I skimmed your substack, and it seems to me that you would like SICP. Give it a try.

[abhi9u]

Interesting, TIL.

Thanks for sharing. :)