TY - RPRT TI - A short proof for tc(K) = 4 AU - Norio Iwase AU - Michihiro Sakai AU - Mitsunobu Tsutaya PY - 2018 UR - https://arxiv.org/abs/1807.02944 ID - 1807.02944 ER -