Since the set of f for which it can be solved is non-empty, and the set of all f is connected, this shows that it can be solved for all f.
f の解くことのできる集まりが空集合でなければ、全ての f は連結で、このことは全ての f に対して解くことが可能なことを示している。