Remember he was producing the anti derivative/integral and already had the original expression. So all he needed to do is show that when you differentiate the integral answer you get the original question. That’s a lot easier than you’re making out.