有定数