Нахождение конечного разбиения квадрата и собирания из этих частей круга известно как квадратура круга Тарского. Миклош Лацкович решил эту задачу в 1990 г. Его метод неконструктивен и использует теорему выбора, при этом число частей, на которые нужно делить квадрат, огромно — около 1050.
