Correct. His argument is strengthened the most if he shows how the expression in point 2 is related to his conclusion in point 4; he can do this by simplifying the expression.