すべてのタスクに対して、常に他より高精度である万能なアルゴリズムは存在しないことを主張する定理。