一様代入則