moser_thm_9.5