If for a Polynomial mapping (where det is the Determinant), then is Bijective with Polynomial inverse.