$${\sin \theta_i / \sin \theta_t = n_F / n_0}$$