You know, derivatives can be written as a division for a reason, nothing wrong too use that if it simplifies proving things right?