Proposition

is invertible .