Jeg vil definere Singerkonstruksjonen R_+(M) og gjennomføre Adams-Gunawardena-Millers bevis av Lins teorem.