$PROVE

短倉仍然有效