hare215theorem1