Thm_a_16_p