TY - RPRT TI - A short proof of an identity related to Type IV superorthogonality AU - Yixuan Pang PY - 2024 UR - https://arxiv.org/abs/2312.15533 ID - 2312.15533 ER -