Признание заслуживают как решение задачи, так и формализация доказательства.

Вот как это устроено: #JustinSunPrize .

https://x.com/JustinSunPrize/status/2104485388048007170