Упражнение 1.13 я, пожалуй, пропущу.
Это математическое доказательство, которое у меня не получилось вывети с наскока. А еще не удалось удержаться от соблазна подсмотреть подсказку к нему, где мне в целом стала понятна общая идея.
Так что в этот раз вместо своего репозитория приведу ссылку на найденное мной доказательство:
https://sicp-solutions.net/post/sicp-solution-exercise-1-13/

Есть подозрение, что мне необходимо подтянуть мои математические знания.