then the angle of refraction is (given