# 정수 제급곤 판별