小平消滅定理の話とかは、もう取り上げたのですかね?