inv. hyp.