は完全であるので、第一クザン問題は、一次元ホモロジー群 "h"1("m",o)が0となるときは、常に解くことができる。