同型性判定途中1