How to construct a 67.5-degree angle using a compass