app_n error case and related lammas