Exact demonstration of eta pairing in the ground state of an attractive-U Hubbard model.