hoehns theorem