既約判定