Remove a redundant hyp. in cc_init_inv