TY - RPRT TI - A precise proof of the n-variable Bekic principle AU - Jun Xu PY - 2025 UR - https://arxiv.org/abs/2512.24038 ID - 2512.24038 ER -