小平消滅定理の一般化は応用がなくても面白い