Nash–Kuiper theorem


Nash–Kuiper theorem is a theorem.