Use Huygens principle to verify the laws of refraction