prism minimum deviation derivation