Proving The Product Rule