Try to improve thm 1