External Section Formula Proof