hodges theorem