d'où avec .

donc est inversible et .