proof of final corollary