まったく異なる数学のある命題を証明することが、別の数学のある問題を解くことになる。旧ソ連から出た天才数学者がやさしく書く。