Jemini and chatGPT

Чота я притупил, доказывая, что для X=λx xSK, можно выразить комбинатор K = X(X(XX)), и пошел попросить jemini доказать. Тот такую несусветную чушь понес! Окей, пошел на chatGPT. Тот так красиво все это расписал. Только почему-то у меня не получалось. Он пишет
(λx xSK)SK = SKSK. Дальше я от него пытался добиться, с какого хуя такие подстановки. Не шмог. Он со мной соглашается, а лепит херню. Как поп на амвоне.

А я-то уже думал...