Removed inclusion of proof for The. 2.