_Index_of_Algebra Banach fixed point theorem bijective function Change of variable theorem Jacobian Matrix surjection