"A HA!" exclaims Francis. "There is an HA Theorem ..., something like the HL Theorem!" Explain what Francis is saying and why he is correct or incorrect.