Total reflection in a prism