ジュルダンの曲線定理は、数学的にはとっくに証明されているね

しかし、「形式的証明」は今回、初めて我々の手によって与えら
れましたって言うんだから

結局、ジュルダンの定理の「普通の証明」と「形式的な証明」は
違うわけで