prop_inv_1