bounded inverse theorem