prove static