https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf nが偶数とし、f:S^{4n-1} \to S^{2n}を考え、fによりS^{2n}にD^{4n}を貼り合わせたものをC_fとする。 するとC_f/S^{2n}はS^{4n}であり、 完全列0 \to \tilde{K}(S^{4n} \to \tilde{K}(C_f) \to \tilde{K}…