short proof