Exactly massless quarks on the lattice