本解説は O'Brien論文を解読しているのだが、多少のオリジナリティを出そうと，の universality だけを使う証明にしようとしてずいぶんてこずり，気がつくとかなり更新の間隔があいてしまった．その間，残念なことに数学リングが無くなってしまい，いったい…