TY - RPRT TI - A constructive proof of Orzech's theorem AU - Darij Grinberg PY - 2026 UR - https://arxiv.org/abs/2604.13911 ID - 2604.13911 ER -