Text this: The Nash–Moser theorem of Hamilton and rigidity of finite dimensional nilpotent Lie algebras