[f(x+deltax)g(x+deltax)-f(x)g(x)]/deltax
=[f(x+deltax)g(x+deltax)-f(x+deltax)g(x)+f(x+deltax)g(x)-f(x)g(x)]/deltax
=f(x+deltax)[g(x+deltax)-g(x)]/deltax+g(x)[f(x+deltax)-f(x)]/deltax
=f(x+deltax)g'(x)+g(x)f'(x)
=f(x)g'(x)+g(x)f'(x)
[f(x+deltax)g(x+deltax)-f(x)g(x)]/deltax
=[f(x+deltax)g(x+deltax)-f(x+deltax)g(x)+f(x+deltax)g(x)-f(x)g(x)]/deltax
=f(x+deltax)[g(x+deltax)-g(x)]/deltax+g(x)[f(x+deltax)-f(x)]/deltax
=f(x+deltax)g'(x)+g(x)f'(x)
=f(x)g'(x)+g(x)f'(x)