As before if an inverse exists then its linearity is immediate .
In general it may not be bounded , so this condition must be checked separately .
As before if an inverse exists then its linearity is immediate , but in general it may not be bounded , so this condition must be checked separately .