LC3 = CUP, as well as extending the Harrington plus-cupping theorem in 1978.

• LC_3=CUP，同时也扩充了Harrington1978年的加杯定理(Plus Cupping Theorem)。