アルゴリズムの様な、簡単な、美しい証明

のアルゴリズムのようなっていう比喩が全く意味が分からん