snub disphenoid

For the snub disphenoid, our existence proof used the intermediate value theorem in the real numbers to argue that as AB decreases and CD increases there is a point where they become equal.