The four claims below show that has a bounded inverse and that the Cayley transform of a bounded accretive operator is contractive. For an arbitrary , write . Then
Taking the supremum over the unit ball gives