l_2が滑らかな多様体に対して常に整数であるという事実は、ジョン・ミルナー(john milnor)のを持たない8次元のの例を与えることを使って示すことができる。