If only I can make a diagram like that in overleaf. Then I will have a simple one slide proof of the product rule. 😁