Proper Base Change Theorem