Dv/D
highly misleading accepted answer is embarrassing for our site. The author seems to think it requires a 38 page (nonfree) document to prove the multiplication rule for fractions (cf. his final 2 paragrpahs), and wrongly deems all other approaches incorrect.