code: func HasHeader(db ethdb.Reader, hash common.Hash, number uint64) bool {
  	if has, err := db.Has(headerKey(number, hash)); !has || err != nil {
  		return false
  	}
  	return true
  }
docs: // HasHeader verifies the existence of a block header corresponding to the hash.