kingは臭いので数学板から追い出すべき。