A_noncommutative_geometric_proof_of_idempotent_lifting.pdf