ALV负号前提