Оригинальный пост: https://mathstodon.xyz/@andrewt/113458494002491401
Переведено вашей покорной слугой и спизжено с разрешения автора