How to construct a 22.5-degree angle using a compass