The refractive index of diamond in much greater than that of ordinary glass. Is this fact of some use to a diamond-cutter?