i -> $ in thm12