Rokhlin の定理有名なRokhlinの定理(mod 16の合同式)は,松本幸夫著「4次元トポロジー」でも紹介されているが, 田村一郎, 『微分位相幾何学 I,II,III』, 岩波講座基礎数学, 岩波書店, 1977,1978. にも,証明付きで紹介されている. ただ,Hilibert 16 問題でいうところの「Rokhlin の定理」は, involution の作用のindexに対する mod 16 の合同式で, Atiyah-Singer G-index theorem から導かれるものです.