Bounded inverse theorem


Bounded inverse theorem is a theorem.