COMPREHENSIVE PROOF