Description: Relationship between division and multiplication. (Contributed by Thierry Arnoux, 24-Dec-2016)